perm filename ITHE4.LST[E,ALS] blob
sn#169590 filedate 1975-07-22 generic text, type T, neo UTF8
LOC | ASCII | OCTAL HALFWORD
0 | COMME | 416371,,546612
1 | NT ⊗ | 472504,,13100
2 | VAL | 201012,,640630
3 | ID 00 | 446104,,30140
4 | 014 P | 301426,,420240
5 | AGES<15> | 406170,,551432
6 | <12>C RE | 52064,,51212
7 | C PA | 415004,,50202
10 | GE | 436124,,20100
11 | DESCR | 422132,,341644
12 | IPTIO | 446412,,444636
13 | N<15><12>C0 | 470321,,241540
14 | 0001 | 301406,,30500
15 | 00001 | 301406,,30142
16 | <15><12>C00 | 64250,,330140
17 | 003 0 | 301406,,320140
20 | 0002<11> | 301406,,31022
21 | <11><11>HOM | 44231,,47632
22 | OMORP | 476331,,751240
23 | HISMS | 442232,,346646
24 | OF S | 202370,,620246
25 | EMANT | 426330,,147250
26 | IC TR | 446064,,52244
27 | EES<15><12> | 426132,,306424
30 | C0000 | 415406,,30140
31 | 5 000 | 325006,,30140
32 | 03<11><11>3 | 301461,,104546
33 | .) I | 271224,,20222
34 | f < N | 631007,,420234
35 | 1 , L | 305005,,420230
36 | 1 > a | 305007,,620302
37 | nd < | 673104,,36100
40 | N2 , | 471444,,26100
41 | L2 > | 461444,,37100
42 | occur | 677074,,372744
43 | at m | 203036,,420332
44 | ate a | 607514,,520302
45 | rcs o | 713076,,320336
46 | f T1<15> | 631012,,430432
47 | <12>C000 | 52066,,30140
50 | 08 00 | 301604,,30140
51 | 004<11><15> | 301406,,404432
52 | <12>C000 | 52066,,30140
53 | 11 00 | 305424,,30140
54 | 005<11>d | 301406,,504710
55 | istin | 647476,,464734
56 | guish | 637535,,171720
57 | ed cl | 627104,,61730
60 | ause | 607536,,362500
61 | graph | 637454,,170320
LOC | ASCII | OCTAL HALFWORD
62 | s an | 715004,,60734
63 | d mat | 621015,,560750
64 | e pai | 625016,,60722
65 | r gr | 711004,,63744
66 | aphs | 607415,,71500
67 | of T1 | 677144,,52142
70 | and | 203035,,662100
71 | T2 w | 202506,,220356
72 | ill<15><12> | 647315,,406424
73 | C0001 | 415406,,30142
74 | 4 000 | 321006,,30140
75 | 06<11>cl | 301541,,161730
76 | auses | 607536,,362746
77 | , nam | 261015,,660732
100 | ely | 627317,,120100
101 | C1 an | 415424,,60734
102 | d C2, | 621010,,331130
103 | are | 201014,,171312
104 | mapp | 203334,,170340
105 | ed on | 627104,,67734
106 | to D | 723364,,20210
107 | by | 203057,,120100
110 | the h | 723214,,520320
111 | omomo | 677335,,766736
112 | rphis | 713415,,64746
113 | m.<15><12>C | 665341,,505206
114 | 00017 | 301406,,30556
115 | 0000 | 201406,,30140
116 | 7<11><11>De | 334221,,142312
117 | finit | 633235,,664750
120 | ion: | 647375,,635100
121 | An πa | 407344,,3702
122 | utomo | 727515,,766736
123 | rphis | 713415,,64746
124 | m is | 665015,,171500
125 | a ho | 605004,,64336
126 | momor | 667375,,567744
127 | phism | 703215,,171732
130 | of a | 203374,,620302
131 | sema | 203474,,566702
132 | ntic<15> | 673515,,161432
133 | <12>C000 | 52066,,30140
134 | 20 00 | 311404,,30140
135 | 008<11><11> | 301407,,4422
136 | Theor | 523214,,567744
137 | em ( | 627324,,20120
140 | Image | 447334,,163712
141 | s of | 715004,,67714
142 | Con | 201010,,367734
143 | tinuo | 723235,,672736
LOC | ASCII | OCTAL HALFWORD
144 | us P | 727464,,20240
145 | aths) | 607515,,71522
146 | : T | 351004,,20250
147 | he i | 643124,,20322
150 | mage | 667034,,762500
151 | of | 203374,,620100
152 | a<15><12>C0 | 604321,,241540
153 | 0022 | 301406,,231100
154 | 00009 | 301406,,30162
155 | <11>argu | 47036,,263752
156 | ment, | 667135,,672130
157 | and | 203035,,662100
160 | simil | 717235,,564730
161 | arly | 607455,,474500
162 | for t | 633376,,220350
163 | he ri | 643124,,71322
164 | ght s | 637216,,420346
165 | ubtre | 727056,,471312
166 | e of | 625015,,763100
167 | T. T | 521344,,20250
170 | he th | 643124,,72320
171 | eorem | 627376,,262732
172 | then | 203515,,62734
173 | <15><12>C00 | 64250,,330140
174 | 024 0 | 301446,,420140
175 | 0010<11> | 301406,,130022
176 | <11>Theo | 46515,,62736
177 | rem | 713135,,520100
200 | (Imag | 242235,,560716
201 | es of | 627464,,67714
202 | Clo | 201010,,366336
203 | sed | 717134,,420100
204 | Sets | 517136,,471500
205 | under | 727354,,462744
206 | Hom | 201011,,67732
207 | omorp | 677335,,771340
210 | hisms | 643236,,366746
211 | ): T | 245644,,20250
212 | he<15><12>C | 643121,,505206
213 | 00027 | 301406,,31156
214 | 0001 | 201406,,30142
215 | 1<11><11>Co | 304221,,141736
216 | rolla | 713375,,466302
217 | ry (C | 713624,,24206
220 | losed | 663376,,362710
221 | Set | 201012,,362750
222 | s an | 715004,,60734
223 | d Com | 621010,,367732
224 | plete | 703314,,572312
225 | Tre | 201012,,471312
LOC | ASCII | OCTAL HALFWORD
226 | es wi | 627464,,73722
227 | thout | 723215,,772750
230 | Vac | 201012,,660706
231 | uous<15> | 727376,,571432
232 | <12>C000 | 52066,,30140
233 | 30 00 | 315404,,30140
234 | 012<11><11> | 301426,,204422
235 | Corol | 417376,,267730
236 | lary: | 663036,,274564
237 | Any | 201010,,167362
240 | dis | 201014,,464746
241 | tingu | 723235,,663752
242 | ished | 647475,,62710
243 | lit | 201015,,464750
244 | eral | 627454,,166100
245 | aut | 201014,,172750
246 | omorp | 677335,,771340
247 | hism | 643236,,366500
250 | of | 203374,,620100
251 | a<15><12>C0 | 604321,,241540
252 | 0032 | 301406,,331100
253 | 00013 | 301406,,30546
254 | <11><11>2.) | 44226,,227122
255 | For | 201010,,667744
256 | ever | 203136,,662744
257 | y ind | 745015,,167310
260 | ex i | 627604,,64500
261 | such | 717534,,364100
262 | that | 723214,,172100
263 | some | 717375,,562500
264 | disti | 623236,,372322
265 | nguis | 673176,,564746
266 | hed l | 643134,,420330
267 | itera | 647514,,571302
270 | l in | 661015,,167100
271 | T2<15><12>C | 521441,,505206
272 | 00034 | 301406,,31550
273 | 0001 | 201406,,30142
274 | 4<11><11>De | 320221,,142312
275 | finit | 633235,,664750
276 | ion: | 647375,,635100
277 | A πm | 405004,,3732
300 | appin | 607416,,64734
301 | g πof | 635000,,767714
302 | πar | 201000,,760744
303 | cs fr | 617464,,63344
304 | om s | 677324,,20346
305 | emant | 627334,,167350
306 | ic tr | 647064,,72344
307 | ee T1 | 627124,,52142
LOC | ASCII | OCTAL HALFWORD
310 | to<15> | 201016,,467432
311 | <12>C000 | 52066,,30140
312 | 38 EN | 315604,,42634
313 | DMK<15><12> | 422331,,306424
314 | C⊗;<15><12> | 414547,,306424
315 | | 0,,0
377 | | 0,,0
400 | <14><11><11>HO | 60221,,144236
401 | MOMOR | 466371,,547644
402 | PHISM | 502211,,151632
403 | S OF | 515011,,743100
404 | SEMAN | 516131,,540634
405 | TIC T | 522230,,320250
406 | REES<15> | 512130,,551432
407 | <12><15><12><11>W | 50321,,204656
410 | e hav | 625015,,60754
411 | e di | 625004,,62322
412 | scuss | 717076,,571746
413 | ed or | 627104,,67744
414 | derin | 623136,,264734
415 | gs on | 637464,,67734
416 | sem | 201016,,362732
417 | antic | 607356,,464706
420 | tree | 203516,,262712
421 | s and | 715014,,167310
422 | pat | 201016,,60750
423 | hs in | 643464,,64734
424 | <15><12>sem | 64256,,362732
425 | antic | 607356,,464706
426 | tree | 203516,,262712
427 | s. | 715344,,20100
430 | Now w | 473376,,720356
431 | e dis | 625014,,464746
432 | cuss | 617536,,371500
433 | homom | 643375,,567732
434 | orphi | 677456,,64322
435 | sms. | 717336,,327100
436 | A h | 201010,,120320
437 | omomo | 677335,,766736
440 | rphis | 713415,,64746
441 | m is | 665015,,171500
442 | a<15><12>ma | 604321,,266702
443 | pping | 703415,,167316
444 | from | 203156,,267732
445 | the | 203515,,62500
446 | disti | 623236,,372322
447 | nguis | 673176,,564746
450 | hed l | 643134,,420330
451 | itera | 647514,,571302
LOC | ASCII | OCTAL HALFWORD
452 | ls o | 663464,,20336
453 | f one | 631015,,767312
454 | sema | 203474,,566702
455 | ntic | 673515,,161500
456 | tree | 723454,,562500
457 | to t | 723364,,20350
460 | he<15><12>d | 643121,,505310
461 | istin | 647476,,464734
462 | guish | 637535,,171720
463 | ed l | 627104,,20330
464 | itera | 647514,,571302
465 | ls o | 663464,,20336
466 | f an | 631004,,60734
467 | other | 677515,,62744
470 | sem | 201016,,362732
471 | antic | 607356,,464706
472 | tre | 201016,,471312
473 | e th | 625004,,72320
474 | at p | 607504,,20340
475 | reser | 713136,,362744
476 | ves<15><12> | 733136,,306424
477 | certa | 617136,,272302
500 | in s | 647344,,20346
501 | truct | 723456,,561750
502 | ure. | 727454,,527100
503 | Int | 201011,,167350
504 | uitiv | 727236,,464754
505 | ely, | 627317,,126100
506 | the | 203515,,62500
507 | same | 203474,,166712
510 | inst | 203235,,671750
511 | ances | 607354,,362746
512 | of | 201015,,763100
513 | the | 203515,,62500
514 | same<15> | 717035,,562432
515 | <12>clau | 53075,,460752
516 | ses a | 717136,,320302
517 | re us | 713124,,72746
520 | ed in | 627104,,64734
521 | both | 203055,,772320
522 | tree | 203516,,262712
523 | s, an | 715304,,60734
524 | d the | 621016,,464312
525 | same | 203474,,166712
526 | lite | 203315,,172312
527 | rals | 713035,,471500
530 | resol | 713136,,367730
531 | ve ag | 733124,,60716
532 | ainst | 607235,,671750
533 | <15><12>one | 64255,,767312
LOC | ASCII | OCTAL HALFWORD
534 | anot | 203035,,667750
535 | her. | 643136,,227100
536 | How | 201011,,67756
537 | ever, | 627554,,571130
540 | the | 203515,,62500
541 | mappi | 667036,,70322
542 | ng ne | 673164,,67312
543 | ed no | 627104,,67336
544 | t be | 721014,,262500
545 | one- | 203375,,662532
546 | to-on | 723365,,567734
547 | e. I | 625344,,20222
550 | n thi | 671016,,464322
551 | s<15><12>se | 714321,,271712
552 | ction | 617515,,167734
553 | we | 203574,,520100
554 | will | 737235,,466100
555 | inves | 647356,,662746
556 | tigat | 723234,,760750
557 | e th | 625004,,72320
560 | e re | 625004,,71312
561 | latio | 663036,,464736
562 | nship | 673475,,64740
563 | of | 203374,,620100
564 | homom | 643375,,567732
565 | orphi | 677456,,64322
566 | sms | 717336,,320100
567 | to<15><12>o | 723361,,505336
570 | rderi | 713114,,571322
571 | ngs, | 673176,,326100
572 | paths | 703036,,464346
573 | , and | 261014,,167310
574 | grap | 203176,,260740
575 | hs of | 643464,,67714
576 | sema | 203474,,566702
577 | ntic | 673515,,161500
600 | trees | 723454,,562746
601 | . <15><12><15> | 271001,,505032
602 | <12><11>Def | 50230,,462714
603 | initi | 647355,,172322
604 | on: A | 677347,,220202
605 | πhom | 200175,,67732
606 | omorp | 677335,,771340
607 | hism | 643236,,366500
610 | πof | 200175,,763100
611 | πtips | 37515,,170346
612 | from | 203156,,267732
613 | sema | 203474,,566702
614 | ntic | 673515,,161500
615 | tree | 203516,,262712
LOC | ASCII | OCTAL HALFWORD
616 | T1<15><12> | 202506,,106424
617 | to se | 723364,,71712
620 | manti | 667035,,672322
621 | c tre | 615016,,471312
622 | e T2 | 625012,,431100
623 | is a | 647464,,60500
624 | mappi | 667036,,70322
625 | ng f | 673164,,63100
626 | from | 633455,,766500
627 | the t | 723214,,520350
630 | ips o | 647416,,320336
631 | f T1 | 631012,,430500
632 | to th | 723364,,72320
633 | e tip | 625016,,464740
634 | s of<15> | 715015,,763032
635 | <12>T2 s | 52506,,220346
636 | atisf | 607515,,171714
637 | ying | 747235,,663500
640 | the f | 723214,,520314
641 | ollow | 677315,,467756
642 | ing r | 647354,,720344
643 | equir | 627436,,564744
644 | ement | 627334,,567350
645 | s:<15><12><15> | 715641,,505032
646 | <12><11>1.) | 50226,,127122
647 | For | 201010,,667744
650 | a ti | 203024,,72322
651 | p nod | 701015,,667710
652 | e N o | 625011,,620336
653 | f T1, | 631012,,430530
654 | the | 203515,,62500
655 | claus | 617314,,172746
656 | e at | 625014,,172100
657 | N mus | 471015,,572746
660 | t be | 721014,,262500
661 | ident | 647114,,567350
662 | ical<15> | 647074,,166032
663 | <12><11> | 50224,,20100
664 | to | 201016,,467500
665 | the c | 723214,,520306
666 | lause | 663036,,571712
667 | at f | 203036,,420314
670 | (N) i | 242345,,120322
671 | n T2. | 671012,,431134
672 | <15><12><15><12><11> | 64241,,505022
673 | 2.) | 311345,,120100
674 | If di | 447144,,62322
675 | sting | 717515,,167316
676 | uishe | 727236,,364312
677 | d lit | 621015,,464750
LOC | ASCII | OCTAL HALFWORD
700 | eral | 627454,,166100
701 | < N , | 361011,,620130
702 | L1 > | 202306,,120174
703 | occu | 203374,,361752
704 | rs at | 713464,,60750
705 | arc | 203036,,261500
706 | A1 in | 405424,,64734
707 | <15><12><11> | 64241,,120100
710 | T1 | 201004,,52142
711 | and | 203035,,662100
712 | disti | 623236,,372322
713 | nguis | 673176,,564746
714 | hed l | 643134,,420330
715 | itera | 647514,,571302
716 | l < f | 661007,,420314
717 | (N) , | 242345,,120130
720 | L1 > | 202306,,120174
721 | occu | 203374,,361752
722 | rs at | 713464,,60750
723 | arc | 203036,,261500
724 | A2<15><12><11> | 405441,,505022
725 | | 201004,,20100
726 | in T2 | 647344,,52144
727 | , the | 261016,,464312
730 | n the | 671016,,464312
731 | labe | 203314,,161312
732 | ls of | 663464,,67714
733 | A1 a | 202026,,120302
734 | nd A2 | 673104,,40544
735 | must | 203336,,571750
736 | be i | 203054,,520322
737 | denti | 623135,,672322
740 | cal.<15> | 617035,,427032
741 | <12><15><12> | 50321,,200000
742 | | 0,,0
777 | | 0,,0
1000 | <14><11>3.) | 60226,,327122
1001 | If | 201011,,163100
1002 | < N1 | 361011,,630500
1003 | , L1 | 261011,,430500
1004 | > and | 371014,,167310
1005 | < N2 | 201704,,47144
1006 | , L2 | 201304,,46144
1007 | > oc | 201744,,67706
1010 | cur a | 617536,,220302
1011 | t mat | 721015,,560750
1012 | e arc | 625014,,171306
1013 | s of | 715015,,763100
1014 | T1<15><12><11> | 521421,,505022
LOC | ASCII | OCTAL HALFWORD
1015 | | 201004,,20100
1016 | then | 723214,,567100
1017 | < f(N | 361014,,624234
1020 | 1) , | 305224,,26100
1021 | L1 > | 461424,,37100
1022 | and < | 607354,,420170
1023 | f(N2 | 203145,,47144
1024 | ) , L | 245005,,420230
1025 | 2 > m | 311007,,620332
1026 | ust o | 727476,,420336
1027 | ccur | 617076,,571100
1030 | at ma | 607504,,66702
1031 | te<15><12><11> | 723121,,505022
1032 | | 201004,,20100
1033 | arcs | 607454,,371500
1034 | of T2 | 677144,,52144
1035 | .<15><12><15><12> | 270321,,206424
1036 | <11>Defi | 46114,,563322
1037 | nitio | 673236,,464736
1040 | n: Th | 671644,,52320
1041 | e dis | 625014,,464746
1042 | tingu | 723235,,663752
1043 | ished | 647475,,62710
1044 | lit | 201015,,464750
1045 | eral | 627454,,166100
1046 | mappi | 667036,,70322
1047 | ng πi | 673164,,3722
1050 | nduce | 673116,,561712
1051 | d by | 621004,,61362
1052 | a<15><12>h | 203021,,505320
1053 | omomo | 677335,,766736
1054 | rphis | 713415,,64746
1055 | m f | 665014,,620100
1056 | of ti | 677144,,72322
1057 | ps fr | 703464,,63344
1060 | om se | 677324,,71712
1061 | manti | 667035,,672322
1062 | c tre | 615016,,471312
1063 | e T1 | 625012,,430500
1064 | to s | 203515,,720346
1065 | emant | 627334,,167350
1066 | ic tr | 647064,,72344
1067 | ee T2 | 627124,,52144
1070 | is<15><12> | 203236,,306424
1071 | the m | 723214,,520332
1072 | appin | 607416,,64734
1073 | g whi | 635016,,764322
1074 | ch ma | 617204,,66702
1075 | ps di | 703464,,62322
1076 | sting | 717515,,167316
LOC | ASCII | OCTAL HALFWORD
1077 | uishe | 727236,,364312
1100 | d lit | 621015,,464750
1101 | eral | 627454,,166100
1102 | < N , | 361011,,620130
1103 | L > | 202304,,37100
1104 | of T1 | 677144,,52142
1105 | onto | 203375,,672336
1106 | the<15> | 203515,,62432
1107 | <12>dist | 53115,,171750
1110 | ingui | 647354,,772722
1111 | shed | 717214,,562100
1112 | liter | 663236,,462744
1113 | al < | 607304,,36100
1114 | f(N) | 631211,,624500
1115 | , L > | 261011,,420174
1116 | of T | 203374,,620250
1117 | 2. <15><12> | 311344,,6424
1120 | <15><12><11>De | 64241,,142312
1121 | finit | 633235,,664750
1122 | ion: | 647375,,635100
1123 | A π | 202024,,20016
1124 | disti | 623236,,372322
1125 | nguis | 673176,,564746
1126 | hed | 643134,,420100
1127 | πlite | 37315,,172312
1130 | ral | 713035,,420100
1131 | πhomo | 37215,,766736
1132 | morph | 667376,,270320
1133 | ism | 647475,,520100
1134 | from<15> | 633455,,766432
1135 | <12>sema | 53474,,566702
1136 | ntic | 673515,,161500
1137 | tree | 203516,,262712
1140 | T1 | 201012,,430500
1141 | to s | 203515,,720346
1142 | emant | 627334,,167350
1143 | ic t | 647064,,20350
1144 | ree | 713134,,520100
1145 | T2 i | 521444,,20322
1146 | s a | 715014,,120100
1147 | mappi | 667036,,70322
1150 | ng g | 673164,,20316
1151 | fro | 201014,,671336
1152 | m the | 665016,,464312
1153 | <15><12>dis | 64254,,464746
1154 | tingu | 723235,,663752
1155 | ished | 647475,,62710
1156 | lite | 203315,,172312
1157 | rals | 713035,,471500
1160 | of T1 | 677144,,52142
LOC | ASCII | OCTAL HALFWORD
1161 | to t | 203515,,720350
1162 | he di | 643124,,62322
1163 | sting | 717515,,167316
1164 | uishe | 727236,,364312
1165 | d lit | 621015,,464750
1166 | erals | 627454,,166346
1167 | of T | 203374,,620250
1170 | 2 suc | 311016,,372706
1171 | h<15><12>th | 640321,,272320
1172 | at th | 607504,,72320
1173 | ere e | 627454,,520312
1174 | xists | 743236,,372346
1175 | a ti | 203024,,72322
1176 | p hom | 701015,,67732
1177 | omorp | 677335,,771340
1200 | hism | 643236,,366500
1201 | f fro | 631014,,671336
1202 | m T1 | 665012,,430500
1203 | to T2 | 723364,,52144
1204 | whic | 203575,,64706
1205 | h ind | 641015,,167310
1206 | uces | 727074,,571500
1207 | g.<15><12>T | 635341,,505250
1210 | he au | 643124,,60752
1211 | thor | 723215,,771100
1212 | susp | 203476,,571740
1213 | ects | 627076,,471500
1214 | but | 613536,,420100
1215 | canno | 617035,,667336
1216 | t pro | 721016,,71336
1217 | ve t | 733124,,20350
1220 | hat s | 643036,,420346
1221 | uch | 727075,,20100
1222 | a map | 605015,,560740
1223 | ping | 703235,,663500
1224 | betw | 203054,,572356
1225 | een<15><12> | 627135,,606424
1226 | compl | 617375,,570330
1227 | ete s | 627514,,520346
1230 | emant | 627334,,167350
1231 | ic tr | 647064,,72344
1232 | ees w | 627136,,320356
1233 | ithou | 647515,,67752
1234 | t vac | 721016,,660706
1235 | uous | 727376,,571500
1236 | arcs | 607454,,371500
1237 | is un | 647464,,72734
1240 | ique | 647436,,562500
1241 | if it | 647144,,64750
1242 | exis | 203137,,64746
LOC | ASCII | OCTAL HALFWORD
1243 | ts. <15> | 723465,,620032
1244 | <12><15><12><11>D | 50321,,204610
1245 | efini | 627155,,167322
1246 | tion: | 723235,,767164
1247 | The | 202515,,62500
1250 | dist | 203115,,171750
1251 | ingui | 647354,,772722
1252 | shed | 717214,,562100
1253 | claus | 617314,,172746
1254 | e ma | 625004,,66702
1255 | pping | 703415,,167316
1256 | πind | 200175,,167310
1257 | uced | 727074,,562100
1260 | by a | 613624,,20302
1261 | <15><12>tip | 64256,,464740
1262 | hom | 201015,,67732
1263 | omorp | 677335,,771340
1264 | hism | 643236,,366500
1265 | f fr | 631004,,63344
1266 | om T | 677324,,20250
1267 | 1 to | 305016,,467500
1270 | T2 i | 202506,,220322
1271 | s th | 715004,,72320
1272 | e ma | 625004,,66702
1273 | pping | 703415,,167316
1274 | whic | 203575,,64706
1275 | h ma | 641004,,66702
1276 | ps th | 703464,,72320
1277 | e<15><12>di | 624321,,262322
1300 | sting | 717515,,167316
1301 | uishe | 727236,,364312
1302 | d cla | 621014,,366302
1303 | use | 727474,,520100
1304 | at ti | 607504,,72322
1305 | p no | 701004,,67336
1306 | de N | 623124,,20234
1307 | in | 203235,,620100
1310 | T1 on | 521424,,67734
1311 | to t | 723364,,20350
1312 | he d | 643124,,20310
1313 | istin | 647476,,464734
1314 | guish | 637535,,171720
1315 | ed<15><12>c | 627101,,505306
1316 | lause | 663036,,571712
1317 | at f | 203036,,420314
1320 | (N) i | 242345,,120322
1321 | n T2. | 671012,,431134
1322 | <15><12><15><12> | 200321,,206424
1323 | <11>Defi | 46114,,563322
1324 | nitio | 673236,,464736
LOC | ASCII | OCTAL HALFWORD
1325 | n: A | 671644,,20202
1326 | πdi | 201000,,762322
1327 | sting | 717515,,167316
1330 | uishe | 727236,,364312
1331 | d π | 621004,,20016
1332 | claus | 617314,,172746
1333 | e πh | 625004,,3720
1334 | omomo | 677335,,766736
1335 | rphis | 713415,,64746
1336 | m fr | 665004,,63344
1337 | om<15><12>s | 677321,,505346
1340 | emant | 627334,,167350
1341 | ic t | 647064,,20350
1342 | ree | 713134,,520100
1343 | T1 t | 521424,,20350
1344 | o sem | 675016,,362732
1345 | antic | 607356,,464706
1346 | tre | 201016,,471312
1347 | e T2 | 625004,,52144
1350 | is | 201015,,171500
1351 | a ma | 605004,,66702
1352 | pping | 703415,,167316
1353 | g | 201014,,720100
1354 | from | 633455,,766500
1355 | the<15><12> | 723214,,506424
1356 | disti | 623236,,372322
1357 | nguis | 673176,,564746
1360 | hed c | 643134,,420306
1361 | lause | 663036,,571712
1362 | s of | 715015,,763100
1363 | T1 t | 521424,,20350
1364 | o the | 675016,,464312
1365 | dist | 203115,,171750
1366 | ingui | 647354,,772722
1367 | shed | 717214,,562100
1370 | claus | 617314,,172746
1371 | es of | 627464,,67714
1372 | T2 | 201012,,431100
1373 | such<15> | 717534,,364032
1374 | <12>that | 53515,,60750
1375 | ther | 203515,,62744
1376 | e exi | 625014,,574322
1377 | sts a | 717516,,320302
1400 | tip | 203515,,170100
1401 | homom | 643375,,567732
1402 | orphi | 677456,,64322
1403 | sm f | 717324,,63100
1404 | from | 633455,,766500
1405 | T1 to | 521424,,72336
1406 | T2 w | 202506,,220356
LOC | ASCII | OCTAL HALFWORD
1407 | hich | 643234,,364100
1410 | induc | 647354,,472706
1411 | es g. | 627464,,63534
1412 | <15><12> | 200321,,200000
1413 | | 0,,0
1577 | | 0,,0
1600 | <14><15><12><11>D | 60321,,204610
1601 | efini | 627155,,167322
1602 | tion: | 723235,,767164
1603 | The | 201012,,464312
1604 | mat | 201015,,560750
1605 | e p | 625004,,20340
1606 | air | 607236,,220100
1607 | mappi | 667036,,70322
1610 | ng π | 673164,,20016
1611 | induc | 647354,,472706
1612 | ed b | 627104,,20304
1613 | y a | 745004,,20302
1614 | tip | 201016,,464740
1615 | <15><12>hom | 64255,,67732
1616 | omorp | 677335,,771340
1617 | hism | 643236,,366500
1620 | f fr | 203144,,63344
1621 | om s | 677324,,20346
1622 | emant | 627334,,167350
1623 | ic tr | 647064,,72344
1624 | ee T | 627124,,20250
1625 | 1 to | 305004,,72336
1626 | sema | 203474,,566702
1627 | ntic | 673515,,161500
1630 | tree | 203516,,262712
1631 | T2 | 202506,,220100
1632 | is th | 647464,,72320
1633 | e<15><12>ma | 624321,,266702
1634 | pping | 703415,,167316
1635 | whic | 203575,,64706
1636 | h map | 641015,,560740
1637 | s mat | 715015,,560750
1640 | e pai | 625016,,60722
1641 | r (L1 | 711005,,46142
1642 | , L2 | 201304,,46144
1643 | ) of | 245015,,763100
1644 | T1 on | 521424,,67734
1645 | to ma | 723364,,66702
1646 | te pa | 723124,,70302
1647 | ir ( | 647444,,20120
1650 | g(L1) | 635211,,430522
1651 | ,<15><12>g | 201301,,505316
1652 | (L2)) | 242306,,224522
LOC | ASCII | OCTAL HALFWORD
1653 | of T | 203374,,620250
1654 | 2, wh | 311304,,73720
1655 | ere g | 627454,,520316
1656 | is t | 203236,,320350
1657 | he di | 643124,,62322
1660 | sting | 717515,,167316
1661 | uishe | 727236,,364312
1662 | d lit | 621015,,464750
1663 | eral | 627454,,166100
1664 | mappi | 667036,,70322
1665 | ng in | 673164,,64734
1666 | duced | 623534,,362710
1667 | by<15><12> | 203057,,106424
1670 | f. <15><12> | 631344,,6424
1671 | <15><12><11>De | 64241,,142312
1672 | finit | 633235,,664750
1673 | ion: | 647375,,635100
1674 | A πma | 405000,,766702
1675 | te πp | 723124,,3740
1676 | air π | 607236,,220016
1677 | homom | 643375,,567732
1700 | orphi | 677456,,64322
1701 | sm fr | 717324,,63344
1702 | om se | 677324,,71712
1703 | manti | 667035,,672322
1704 | c tre | 615016,,471312
1705 | e T1<15> | 625012,,430432
1706 | <12>to s | 53515,,720346
1707 | emant | 627334,,167350
1710 | ic tr | 647064,,72344
1711 | ee T2 | 627124,,52144
1712 | is a | 203236,,320302
1713 | map | 201015,,560740
1714 | ping | 703235,,663500
1715 | g fro | 635014,,671336
1716 | m the | 665016,,464312
1717 | mate | 203334,,172312
1720 | pair | 203414,,164744
1721 | s of | 715015,,763100
1722 | T1 t | 521424,,20350
1723 | o the | 675016,,464312
1724 | <15><12>mat | 64255,,560750
1725 | e pai | 625016,,60722
1726 | rs of | 713464,,67714
1727 | T2 s | 202506,,220346
1730 | uch | 727075,,20100
1731 | that | 723214,,172100
1732 | there | 723214,,571312
1733 | exis | 203137,,64746
1734 | ts a | 723464,,60500
LOC | ASCII | OCTAL HALFWORD
1735 | tip h | 723236,,20320
1736 | omomo | 677335,,766736
1737 | rphis | 713415,,64746
1740 | m f f | 665014,,620314
1741 | rom T | 713375,,520250
1742 | 1<15><12>to | 304321,,272336
1743 | T2 w | 202506,,220356
1744 | hich | 643234,,364100
1745 | induc | 647354,,472706
1746 | es g. | 627464,,63534
1747 | <15><12><15><12> | 200321,,206424
1750 | <11>Simi | 46475,,166722
1751 | larly | 663036,,266362
1752 | , we | 261016,,762500
1753 | may d | 667037,,120310
1754 | efine | 627155,,167312
1755 | the | 201016,,464312
1756 | mate | 203334,,172312
1757 | pair | 203414,,164744
1760 | homo | 203215,,766736
1761 | morph | 667376,,270320
1762 | ism | 647475,,520100
1763 | induc | 647354,,472706
1764 | ed<15><12>b | 627101,,505304
1765 | y a d | 745014,,120310
1766 | istin | 647476,,464734
1767 | guish | 637535,,171720
1770 | ed l | 627104,,20330
1771 | itera | 647514,,571302
1772 | l hom | 661015,,67732
1773 | omorp | 677335,,771340
1774 | hism, | 643236,,366530
1775 | and | 203035,,662100
1776 | so o | 203475,,720336
1777 | n. | 671344,,20100
2000 | These | 523214,,571712
2001 | vari | 203554,,171322
2002 | ous<15><12> | 677536,,306424
2003 | conce | 617375,,661712
2004 | pts | 703516,,320100
2005 | of ho | 677144,,64336
2006 | momor | 667375,,567744
2007 | phism | 703215,,171732
2010 | are | 201014,,171312
2011 | lar | 201015,,460744
2012 | gely | 637135,,474500
2013 | inte | 203235,,672312
2014 | rchan | 713075,,60734
2015 | geabl | 637134,,161330
2016 | e. | 625344,,20100
LOC | ASCII | OCTAL HALFWORD
2017 | We s | 537124,,20346
2020 | hall<15> | 643035,,466032
2021 | <12>main | 53334,,164734
2022 | ly b | 663624,,20304
2023 | e con | 625014,,367734
2024 | cerne | 617136,,267312
2025 | d wi | 621004,,73722
2026 | th di | 723204,,62322
2027 | sting | 717515,,167316
2030 | uishe | 727236,,364312
2031 | d lit | 621015,,464750
2032 | eral | 627454,,166100
2033 | homo | 203215,,766736
2034 | morph | 667376,,270320
2035 | isms. | 647475,,571534
2036 | The | 201012,,464312
2037 | <15><12>ter | 64256,,462744
2040 | m πho | 665000,,764336
2041 | momor | 667375,,567744
2042 | phism | 703215,,171732
2043 | will | 203575,,166330
2044 | refe | 203454,,563312
2045 | r to | 711016,,467500
2046 | a dis | 605014,,464746
2047 | tingu | 723235,,663752
2050 | ished | 647475,,62710
2051 | lite | 203315,,172312
2052 | ral h | 713035,,420320
2053 | omomo | 677335,,766736
2054 | rphis | 713415,,64746
2055 | m<15><12>un | 664321,,272734
2056 | less | 663136,,371500
2057 | other | 677515,,62744
2060 | wise | 737236,,362500
2061 | speci | 717414,,561722
2062 | fied. | 633234,,562134
2063 | <15><12><15><12> | 200321,,206424
2064 | <11>Defi | 46114,,563322
2065 | nitio | 673236,,464736
2066 | n: A | 671644,,20202
2067 | πdi | 201000,,762322
2070 | sting | 717515,,167316
2071 | uishe | 727236,,364312
2072 | d πl | 621004,,3730
2073 | itera | 647514,,571302
2074 | l πi | 661004,,3722
2075 | somor | 717375,,567744
2076 | phism | 703215,,171732
2077 | is | 201015,,171500
2100 | a<15><12>d | 203021,,505310
LOC | ASCII | OCTAL HALFWORD
2101 | istin | 647476,,464734
2102 | guish | 637535,,171720
2103 | ed li | 627104,,66322
2104 | teral | 723136,,260730
2105 | homo | 203215,,766736
2106 | morph | 667376,,270320
2107 | ism t | 647475,,520350
2110 | hat i | 643036,,420322
2111 | s 1-1 | 715006,,126542
2112 | and | 203035,,662100
2113 | onto. | 677356,,467534
2114 | If | 201011,,163100
2115 | there | 723214,,571312
2116 | is<15><12> | 203236,,306424
2117 | a dis | 605014,,464746
2120 | tingu | 723235,,663752
2121 | ished | 647475,,62710
2122 | lite | 203315,,172312
2123 | ral i | 713035,,420322
2124 | somor | 717375,,567744
2125 | phism | 703215,,171732
2126 | fro | 201014,,671336
2127 | m T1 | 665012,,430500
2130 | to T2 | 723364,,52144
2131 | , the | 261016,,464312
2132 | n we | 671004,,73712
2133 | say | 203474,,174500
2134 | that<15> | 723214,,172032
2135 | <12>T1 | 52506,,120100
2136 | and T | 607354,,420250
2137 | 2 are | 311014,,171312
2140 | πdi | 201000,,762322
2141 | sting | 717515,,167316
2142 | uishe | 727236,,364312
2143 | d πli | 621000,,766322
2144 | teral | 723136,,260730
2145 | πis | 201000,,764746
2146 | omorp | 677335,,771340
2147 | hic. | 643234,,327100
2150 | Note | 202355,,772312
2151 | tha | 201016,,464302
2152 | t the | 721016,,464312
2153 | <15><12> | 64240,,0
2154 | | 0,,0
2377 | | 0,,0
2400 | <14>dist | 63115,,171750
2401 | ingui | 647354,,772722
2402 | shed | 717214,,562100
2403 | claus | 617314,,172746
LOC | ASCII | OCTAL HALFWORD
2404 | e gra | 625014,,771302
2405 | phs | 703216,,320100
2406 | and m | 607354,,420332
2407 | ate p | 607514,,520340
2410 | air | 607236,,220100
2411 | graph | 637454,,170320
2412 | s of | 715015,,763100
2413 | T1 an | 521424,,60734
2414 | d T2 | 621004,,52144
2415 | will | 203575,,166330
2416 | <15><12>als | 64254,,166346
2417 | o be | 675004,,61312
2420 | isom | 203236,,367732
2421 | orphi | 677456,,64322
2422 | c, in | 615304,,64734
2423 | this | 203515,,64746
2424 | cas | 201014,,360746
2425 | e. A | 625344,,20202
2426 | lso, | 663475,,726100
2427 | note | 673376,,462500
2430 | that | 203515,,60750
2431 | a di | 203024,,62322
2432 | sting | 717515,,167316
2433 | uishe | 727236,,364312
2434 | d<15><12>li | 620321,,266322
2435 | teral | 723136,,260730
2436 | isom | 203236,,367732
2437 | orphi | 677456,,64322
2440 | sm is | 717324,,64746
2441 | not | 203355,,772100
2442 | the s | 723214,,520346
2443 | ame a | 607334,,520302
2444 | s a π | 715014,,120016
2445 | node | 673374,,462500
2446 | isomo | 647475,,766736
2447 | rphis | 713415,,64746
2450 | m, wh | 665304,,73720
2451 | ich w | 647075,,20356
2452 | as<15><12>p | 607461,,505340
2453 | resen | 713136,,362734
2454 | ted | 723134,,420100
2455 | in an | 647344,,60734
2456 | earl | 203134,,171330
2457 | ier | 647136,,220100
2460 | secti | 717134,,372322
2461 | on. | 677345,,620100
2462 | In t | 202235,,620350
2463 | he fo | 643124,,63336
2464 | llowi | 663315,,773722
2465 | ng d | 673164,,20310
LOC | ASCII | OCTAL HALFWORD
2466 | iscus | 647474,,372746
2467 | sion, | 717235,,767130
2470 | we<15><12> | 203574,,506424
2471 | will | 737235,,466100
2472 | just | 653536,,372100
2473 | refer | 713134,,662744
2474 | to 1 | 203515,,720142
2475 | -1 ho | 265424,,64336
2476 | momor | 667375,,567744
2477 | phism | 703215,,171732
2500 | s ont | 715015,,767350
2501 | o sem | 675016,,362732
2502 | antic | 607356,,464706
2503 | tree | 203516,,262712
2504 | s, ra | 715304,,71302
2505 | ther | 723214,,571100
2506 | than<15> | 723214,,167032
2507 | <12>isom | 53236,,367732
2510 | orphi | 677456,,64322
2511 | sms. | 717336,,327100
2512 | <15><12><15><12><11> | 64241,,505022
2513 | Now | 473376,,720100
2514 | we | 737124,,20100
2515 | give | 637236,,662500
2516 | an | 203035,,620100
2517 | exam | 203137,,60732
2520 | ple | 703314,,520100
2521 | of | 677144,,20100
2522 | a di | 605004,,62322
2523 | sting | 717515,,167316
2524 | uishe | 727236,,364312
2525 | d l | 621004,,20330
2526 | itera | 647514,,571302
2527 | l<15><12>ho | 660321,,264336
2530 | momor | 667375,,567744
2531 | phism | 703215,,171732
2532 | tha | 201016,,464302
2533 | t is | 721015,,171500
2534 | not | 203355,,772100
2535 | 1-1. | 305326,,127100
2536 | See | 201012,,362712
2537 | figu | 203155,,163752
2540 | re 4 | 713124,,20150
2541 | .1. | 271425,,620100
2542 | Also | 202035,,471736
2543 | , we | 261016,,762500
2544 | give | 203175,,173312
2545 | a<15><12>s | 203021,,505346
2546 | light | 663234,,764350
2547 | ly no | 663624,,67336
LOC | ASCII | OCTAL HALFWORD
2550 | n-tri | 671336,,471322
2551 | vial | 733234,,166100
2552 | examp | 627614,,166740
2553 | le of | 663124,,67714
2554 | a di | 203024,,62322
2555 | sting | 717515,,167316
2556 | uishe | 727236,,364312
2557 | d lit | 621015,,464750
2560 | eral | 627454,,166100
2561 | isomo | 647475,,766736
2562 | rphis | 713415,,64746
2563 | m. <15><12> | 665344,,6424
2564 | See f | 517134,,520314
2565 | igure | 647176,,571312
2566 | 4.3. | 201505,,631534
2567 | The | 201012,,464312
2570 | foll | 203155,,766330
2571 | owing | 677575,,167316
2572 | conv | 203075,,767354
2573 | entio | 627356,,464736
2574 | ns wi | 673464,,73722
2575 | ll b | 663304,,20304
2576 | e use | 625016,,571712
2577 | d in | 621015,,167100
2600 | these | 723214,,571712
2601 | and<15> | 203035,,662032
2602 | <12>late | 53314,,172312
2603 | r ill | 711015,,166330
2604 | ustra | 727476,,471302
2605 | tions | 723235,,767346
2606 | :<15><12><15><12> | 350321,,206424
2607 | <11>By C | 46057,,120206
2610 | .L we | 272304,,73712
2611 | indi | 203235,,662322
2612 | cate | 617036,,462500
2613 | the d | 723214,,520310
2614 | istin | 647476,,464734
2615 | guish | 637535,,171720
2616 | ed li | 627104,,66322
2617 | teral | 723136,,260730
2620 | < N | 201704,,47100
2621 | , L > | 261011,,420174
2622 | of t | 203374,,620350
2623 | he<15><12>d | 643121,,505310
2624 | istin | 647476,,464734
2625 | guish | 637535,,171720
2626 | ed cl | 627104,,61730
2627 | ause | 607536,,362500
2630 | C, wh | 415304,,73720
2631 | ere N | 627454,,520234
LOC | ASCII | OCTAL HALFWORD
2632 | is | 203236,,320100
2633 | the t | 723214,,520350
2634 | ip no | 647404,,67336
2635 | de at | 623124,,60750
2636 | whic | 203575,,64706
2637 | h C | 641010,,320100
2640 | occur | 677074,,372744
2641 | s. <15><12> | 715344,,6424
2642 | We d | 537124,,20310
2643 | raw s | 713036,,720346
2644 | uch | 727075,,20100
2645 | disti | 623236,,372322
2646 | nguis | 673176,,564746
2647 | hed l | 643134,,420330
2650 | itera | 647514,,571302
2651 | ls n | 663464,,20334
2652 | ear | 627036,,220100
2653 | the a | 723214,,520302
2654 | rcs | 713076,,320100
2655 | at wh | 607504,,73720
2656 | ich | 647075,,20100
2657 | they<15> | 723214,,574432
2660 | <12>occu | 53374,,361752
2661 | r. | 711344,,20100
2662 | We so | 537124,,71736
2663 | metim | 667136,,464732
2664 | es la | 627464,,66302
2665 | bel t | 613135,,420350
2666 | ip n | 647404,,20334
2667 | odes | 677114,,571500
2670 | with | 737236,,464100
2671 | the d | 723214,,520310
2672 | istin | 647476,,464734
2673 | guish | 637535,,171720
2674 | ed cl | 627104,,61730
2675 | auses | 607536,,362746
2676 | <15><12>tha | 64256,,464302
2677 | t occ | 721015,,761706
2700 | ur th | 727444,,72320
2701 | ere. | 627454,,527100
2702 | We i | 202574,,520322
2703 | ndica | 673115,,161702
2704 | te ho | 723124,,64336
2705 | momor | 667375,,567744
2706 | phism | 703215,,171732
2707 | s by | 715014,,274500
2710 | spec | 203476,,62706
2711 | ifyin | 647157,,164734
2712 | g whe | 635016,,764312
2713 | re th | 713124,,72320
LOC | ASCII | OCTAL HALFWORD
2714 | e<15><12>di | 624321,,262322
2715 | sting | 717515,,167316
2716 | uishe | 727236,,364312
2717 | d cl | 621004,,61730
2720 | auses | 607536,,362746
2721 | are | 201014,,171312
2722 | mapp | 203334,,170340
2723 | ed u | 627104,,20352
2724 | nder | 673114,,571100
2725 | the | 203515,,62500
2726 | induc | 647354,,472706
2727 | ed d | 627104,,20310
2730 | istin | 647476,,464734
2731 | guish | 637535,,171720
2732 | ed<15><12>c | 627101,,505306
2733 | lause | 663036,,571712
2734 | mapp | 203334,,170340
2735 | ing. | 647354,,727100
2736 | Thus | 202515,,72746
2737 | , C → | 261010,,320062
2740 | D in | 202104,,64734
2741 | dicat | 623234,,360750
2742 | es th | 627464,,72320
2743 | at di | 607504,,62322
2744 | sting | 717515,,167316
2745 | uishe | 727236,,364312
2746 | d cla | 621014,,366302
2747 | use C | 727474,,520206
2750 | is<15><12> | 203236,,306424
2751 | mappe | 667036,,70312
2752 | d on | 621004,,67734
2753 | to di | 723364,,62322
2754 | sting | 717515,,167316
2755 | uishe | 727236,,364312
2756 | d cl | 621004,,61730
2757 | ause | 607536,,362500
2760 | D b | 202104,,20304
2761 | y the | 745016,,464312
2762 | ind | 201015,,167310
2763 | uced | 727074,,562100
2764 | dist | 203115,,171750
2765 | ingui | 647354,,772722
2766 | shed<15> | 717214,,562032
2767 | <12>clau | 53075,,460752
2770 | se ho | 717124,,64336
2771 | momor | 667375,,567744
2772 | phism | 703215,,171732
2773 | . N | 271004,,20234
2774 | ote t | 677514,,520350
2775 | hat t | 643036,,420350
LOC | ASCII | OCTAL HALFWORD
2776 | his i | 643236,,320322
2777 | mplie | 667415,,464712
3000 | s tha | 715016,,464302
3001 | t C.L | 721010,,327230
3002 | is m | 203236,,320332
3003 | apped | 607416,,62710
3004 | onto | 203375,,672336
3005 | <15><12>D.L | 64250,,427230
3006 | by | 203057,,120100
3007 | the d | 723214,,520310
3010 | istin | 647476,,464734
3011 | guish | 637535,,171720
3012 | ed li | 627104,,66322
3013 | teral | 723136,,260730
3014 | hom | 201015,,67732
3015 | omorp | 677335,,771340
3016 | hism. | 643236,,366534
3017 | Al | 201004,,40730
3020 | so, C | 717365,,420206
3021 | 1, C | 305304,,20206
3022 | 2 → | 311003,,120100
3023 | D<15><12>in | 420321,,264734
3024 | dicat | 623234,,360750
3025 | es th | 627464,,72320
3026 | at πb | 607504,,3704
3027 | oth d | 677515,,20310
3030 | istin | 647476,,464734
3031 | guish | 637535,,171720
3032 | ed<15><12> | 627101,,505000
3033 | | 0,,0
3177 | | 0,,0
3200 | <14>clau | 63075,,460752
3201 | ses, | 717136,,326100
3202 | namel | 673035,,562730
3203 | y C1 | 745004,,41542
3204 | and | 203035,,662100
3205 | C2, | 415445,,420100
3206 | are m | 607454,,520332
3207 | apped | 607416,,62710
3210 | onto | 203375,,672336
3211 | D b | 201010,,420304
3212 | y th | 745004,,72320
3213 | e hom | 625015,,67732
3214 | omorp | 677335,,771340
3215 | hism. | 643236,,366534
3216 | <15><12>Som | 64252,,367732
3217 | etime | 627515,,166712
3220 | s we | 715004,,73712
3221 | also | 203035,,471736
LOC | ASCII | OCTAL HALFWORD
3222 | indi | 203235,,662322
3223 | cate | 617036,,462500
3224 | the | 723214,,520100
3225 | πlabe | 37314,,161312
3226 | ls of | 663464,,67714
3227 | the | 203515,,62500
3230 | arcs | 607454,,371500
3231 | by d | 203057,,120310
3232 | rawin | 713036,,764734
3233 | g the | 635016,,464312
3234 | m<15><12>ne | 664321,,267312
3235 | ar th | 607444,,72320
3236 | e arc | 625014,,171306
3237 | s; us | 715664,,72746
3240 | ually | 727035,,466362
3241 | the | 203515,,62500
3242 | label | 663034,,262730
3243 | s are | 715014,,171312
3244 | omit | 203375,,564750
3245 | ted. | 723134,,427100
3246 | <15><12><15><12><11> | 64241,,505022
3247 | Defin | 423134,,664734
3250 | ition | 647515,,167734
3251 | : A | 351010,,120100
3252 | πweak | 37574,,560726
3253 | πhom | 200175,,67732
3254 | omorp | 677335,,771340
3255 | hism | 643236,,366500
3256 | πof | 200175,,763100
3257 | πtips | 37515,,170346
3260 | fro | 201014,,671336
3261 | m se | 665004,,71712
3262 | manti | 667035,,672322
3263 | c<15><12>tr | 614321,,272344
3264 | ee T1 | 627124,,52142
3265 | to s | 203515,,720346
3266 | emant | 627334,,167350
3267 | ic tr | 647064,,72344
3270 | ee T2 | 627124,,52144
3271 | is a | 203236,,320302
3272 | mapp | 203334,,170340
3273 | ing f | 647354,,720314
3274 | from | 203156,,267732
3275 | the | 203515,,62500
3276 | tips | 723236,,71500
3277 | of T1 | 677144,,52142
3300 | to t | 203515,,720350
3301 | he<15><12>t | 643121,,505350
3302 | ips | 647416,,320100
3303 | of | 203374,,620100
LOC | ASCII | OCTAL HALFWORD
3304 | T2 w | 521444,,20356
3305 | hich | 643234,,364100
3306 | sati | 203474,,172322
3307 | sfies | 717155,,162746
3310 | the | 201016,,464312
3311 | sa | 201004,,71702
3312 | me r | 667124,,20344
3313 | equir | 627436,,564744
3314 | ement | 627334,,567350
3315 | s as | 715004,,60746
3316 | a | 201014,,120100
3317 | tip<15><12> | 723236,,6424
3320 | homom | 643375,,567732
3321 | orphi | 677456,,64322
3322 | sm ex | 717324,,62760
3323 | cept | 617136,,72100
3324 | that | 723214,,172100
3325 | for a | 633376,,220302
3326 | tip | 203515,,170100
3327 | node | 203355,,762312
3330 | N of | 202344,,67714
3331 | T1, | 202506,,126100
3332 | the c | 723214,,520306
3333 | lause | 663036,,571712
3334 | at | 203036,,420100
3335 | N in<15> | 471015,,167032
3336 | <12>T1 i | 52506,,120322
3337 | s onl | 715015,,767330
3340 | y req | 745016,,262742
3341 | uired | 727236,,262710
3342 | to b | 203515,,720304
3343 | e a π | 625014,,120016
3344 | subse | 717534,,271712
3345 | t of | 721015,,763100
3346 | the c | 723214,,520306
3347 | lause | 663036,,571712
3350 | at f | 203036,,420314
3351 | (N) i | 242345,,120322
3352 | n T2. | 671012,,431134
3353 | <15><12><15><12> | 200321,,206424
3354 | <11>We c | 46574,,520306
3355 | an s | 607344,,20346
3356 | imila | 647335,,166302
3357 | rly d | 713317,,120310
3360 | efine | 627155,,167312
3361 | weak | 203574,,560726
3362 | hom | 201015,,67732
3363 | omorp | 677335,,771340
3364 | hisms | 643236,,366746
3365 | of d | 203374,,620310
LOC | ASCII | OCTAL HALFWORD
3366 | istin | 647476,,464734
3367 | guish | 637535,,171720
3370 | ed<15><12>l | 627101,,505330
3371 | itera | 647514,,571302
3372 | ls, w | 663465,,420356
3373 | eak | 627035,,320100
3374 | homom | 643375,,567732
3375 | orphi | 677456,,64322
3376 | sms | 717336,,320100
3377 | of d | 677144,,20310
3400 | istin | 647476,,464734
3401 | guish | 637535,,171720
3402 | ed c | 627104,,20306
3403 | lause | 663036,,571712
3404 | s, a | 715304,,20302
3405 | nd w | 673104,,20356
3406 | eak<15><12> | 627035,,306424
3407 | homom | 643375,,567732
3410 | orphi | 677456,,64322
3411 | sms o | 717336,,320336
3412 | f mat | 631015,,560750
3413 | e pai | 625016,,60722
3414 | rs, w | 713465,,420356
3415 | ith | 647515,,20100
3416 | the a | 723214,,520302
3417 | pprop | 703416,,267740
3420 | riate | 713234,,172312
3421 | indu | 203235,,662352
3422 | cing | 617235,,663500
3423 | relat | 713135,,460750
3424 | ions<15> | 647375,,671432
3425 | <12>betw | 53054,,572356
3426 | een t | 627135,,620350
3427 | hem. | 643135,,527100
3430 | Not | 201011,,667750
3431 | e tha | 625016,,464302
3432 | t the | 721016,,464312
3433 | comp | 203075,,766740
3434 | ositi | 677475,,172322
3435 | on of | 677344,,67714
3436 | any | 203035,,674500
3437 | of th | 677144,,72320
3440 | e var | 625016,,660744
3441 | ious | 647376,,571500
3442 | kinds | 657235,,662346
3443 | <15><12>of | 64255,,763100
3444 | homo | 203215,,766736
3445 | morph | 667376,,270320
3446 | isms, | 647475,,571530
3447 | in | 201004,,64734
LOC | ASCII | OCTAL HALFWORD
3450 | cludi | 617316,,562322
3451 | ng | 673164,,20100
3452 | the | 723214,,520100
3453 | weak | 737134,,165500
3454 | one | 201015,,767312
3455 | s, | 715304,,20100
3456 | yield | 747234,,566310
3457 | s a | 715004,,20302
3460 | nothe | 673376,,464312
3461 | r<15><12>ho | 710321,,264336
3462 | momor | 667375,,567744
3463 | phism | 703215,,171732
3464 | of t | 203374,,620350
3465 | he s | 643124,,20346
3466 | ame t | 607334,,520350
3467 | ype. | 747414,,527100
3470 | Late | 202314,,172312
3471 | r we | 711016,,762500
3472 | shal | 203475,,60730
3473 | l cha | 661014,,364302
3474 | racte | 713034,,372312
3475 | rize | 713237,,262500
3476 | speci | 717414,,561722
3477 | al<15><12>c | 607301,,505306
3500 | lasse | 663036,,371712
3501 | s of | 715004,,67714
3502 | homo | 203215,,766736
3503 | morph | 667376,,270320
3504 | isms | 647475,,571500
3505 | as co | 607464,,61736
3506 | mposi | 667415,,771722
3507 | tions | 723235,,767346
3510 | of | 203374,,620100
3511 | certa | 617136,,272302
3512 | in si | 647344,,71722
3513 | mple | 667415,,462500
3514 | kinds | 657235,,662346
3515 | of<15><12> | 203374,,606424
3516 | homom | 643375,,567732
3517 | orphi | 677456,,64322
3520 | sms. | 717336,,327100
3521 | <15><12><15><12><11> | 64241,,505022
3522 | Note | 473376,,462500
3523 | that | 723214,,172100
3524 | if T1 | 647144,,52142
3525 | and | 203035,,662100
3526 | T2 a | 202506,,220302
3527 | re se | 713124,,71712
3530 | manti | 667035,,672322
3531 | c tre | 615016,,471312
LOC | ASCII | OCTAL HALFWORD
3532 | es an | 627464,,60734
3533 | d G1 | 621010,,730500
3534 | and | 607354,,420100
3535 | G2 ar | 435444,,60744
3536 | e<15><12>th | 624321,,272320
3537 | e dis | 625014,,464746
3540 | tingu | 723235,,663752
3541 | ished | 647475,,62710
3542 | cla | 201014,,366302
3543 | use g | 727474,,520316
3544 | raphs | 713036,,64346
3545 | of | 203374,,620100
3546 | T1 an | 521424,,60734
3547 | d T2, | 621012,,431130
3550 | res | 201016,,262746
3551 | pecti | 703134,,372322
3552 | vely, | 733135,,474530
3553 | then | 203515,,62734
3554 | a<15><12>h | 203021,,505320
3555 | omomo | 677335,,766736
3556 | rphis | 713415,,64746
3557 | m of | 665015,,763100
3560 | tips | 723236,,71500
3561 | from | 633455,,766500
3562 | T1 to | 521424,,72336
3563 | T2 i | 202506,,220322
3564 | nduce | 673116,,561712
3565 | s a m | 715014,,120332
3566 | appin | 607416,,64734
3567 | g fro | 635014,,671336
3570 | m G1 | 665010,,730500
3571 | to G | 723364,,20216
3572 | 2. <15><12> | 311344,,6424
3573 | The i | 523214,,520322
3574 | mage | 667034,,762500
3575 | of G1 | 677144,,43542
3576 | unde | 203535,,662312
3577 | r thi | 711016,,464322
3600 | s map | 715015,,560740
3601 | ping | 703235,,663500
3602 | will | 737235,,466100
3603 | be a | 613124,,60500
3604 | subgr | 717534,,263744
3605 | aph o | 607415,,20336
3606 | f G2. | 631010,,731134
3607 | Sim | 201012,,364732
3610 | ilar<15> | 647314,,171032
3611 | <12>rema | 53454,,566702
3612 | rks a | 713276,,320302
3613 | pply | 703415,,474500
LOC | ASCII | OCTAL HALFWORD
3614 | to th | 723364,,72320
3615 | e mat | 625015,,560750
3616 | e pai | 625016,,60722
3617 | r gra | 711014,,771302
3620 | phs o | 703216,,320336
3621 | f T1 | 631012,,430500
3622 | and T | 607354,,420250
3623 | 2. <15><12> | 311344,,6424
3624 | <15><12> | 64240,,0
3625 | | 0,,0
3777 | | 0,,0
4000 | <14><11>Def | 60230,,462714
4001 | initi | 647355,,172322
4002 | on: A | 677347,,220202
4003 | n πau | 671000,,760752
4004 | tomor | 723375,,567744
4005 | phism | 703215,,171732
4006 | is a | 203236,,320302
4007 | hom | 201015,,67732
4010 | omorp | 677335,,771340
4011 | hism | 643236,,366500
4012 | of a | 677144,,60500
4013 | seman | 717135,,560734
4014 | tic<15><12> | 723234,,306424
4015 | tree | 723454,,562500
4016 | T i | 202504,,20322
4017 | nto i | 673515,,720322
4020 | tself | 723474,,566314
4021 | . | 271004,,20100
4022 | This | 523215,,171500
4023 | appli | 607416,,66322
4024 | es t | 627464,,20350
4025 | o al | 675004,,60730
4026 | l the | 661016,,464312
4027 | var | 201016,,660744
4030 | ious | 647376,,571500
4031 | kind | 203275,,167310
4032 | s of<15> | 715015,,763032
4033 | <12>homo | 53215,,766736
4034 | morph | 667376,,270320
4035 | isms. | 647475,,571534
4036 | T | 201004,,20250
4037 | hus | 643536,,320100
4040 | we m | 737124,,20332
4041 | ay s | 607624,,20346
4042 | peak | 703134,,165500
4043 | of | 203374,,620100
4044 | a di | 605004,,62322
4045 | sting | 717515,,167316
LOC | ASCII | OCTAL HALFWORD
4046 | uishe | 727236,,364312
4047 | d li | 621004,,66322
4050 | teral | 723136,,260730
4051 | <15><12>aut | 64254,,172750
4052 | omorp | 677335,,771340
4053 | hism, | 643236,,366530
4054 | and | 201014,,167310
4055 | so | 201016,,367500
4056 | on. | 203375,,627100
4057 | La | 201004,,46302
4060 | ter | 723136,,220100
4061 | we w | 737124,,20356
4062 | ill | 647315,,420100
4063 | show | 717215,,773500
4064 | that | 203515,,60750
4065 | any | 201014,,167362
4066 | wea | 201016,,762702
4067 | k<15><12>au | 654321,,260752
4070 | tomor | 723375,,567744
4071 | phism | 703215,,171732
4072 | of | 201015,,763100
4073 | a com | 605014,,367732
4074 | plete | 703314,,572312
4075 | sema | 203474,,566702
4076 | ntic | 673515,,161500
4077 | tree | 723454,,562500
4100 | with | 203575,,172320
4101 | out v | 677536,,420354
4102 | acuou | 607076,,567752
4103 | s arc | 715014,,171306
4104 | s is | 715015,,171500
4105 | an<15><12>o | 607341,,505336
4106 | rdina | 713115,,167302
4107 | ry a | 713624,,20302
4110 | utomo | 727515,,766736
4111 | rphis | 713415,,64746
4112 | m. | 665344,,20100
4113 | Also | 202035,,471736
4114 | , we | 261004,,73712
4115 | wil | 201016,,764730
4116 | l sh | 661004,,71720
4117 | ow t | 677564,,20350
4120 | hat | 643036,,420100
4121 | any | 607357,,120100
4122 | ordin | 677454,,464734
4123 | ary<15><12> | 607457,,106424
4124 | autom | 607536,,467732
4125 | orphi | 677456,,64322
4126 | sm of | 717324,,67714
4127 | such | 203476,,561720
LOC | ASCII | OCTAL HALFWORD
4130 | a tr | 203024,,72344
4131 | ee mu | 627124,,66752
4132 | st be | 717504,,61312
4133 | the | 203515,,62500
4134 | ident | 647114,,567350
4135 | ity m | 647517,,120332
4136 | appin | 607416,,64734
4137 | g. <15><12> | 635344,,6424
4140 | <15><12><11>De | 64241,,142312
4141 | finit | 633235,,664750
4142 | ion: | 647375,,635100
4143 | Sema | 202474,,566702
4144 | ntic | 673515,,161500
4145 | tree | 723454,,562500
4146 | T1 | 202506,,120100
4147 | πcove | 37075,,773312
4150 | rs se | 713464,,71712
4151 | manti | 667035,,672322
4152 | c tr | 615004,,72344
4153 | ee T | 627124,,20250
4154 | 2 if<15> | 311015,,163032
4155 | <12>ther | 53515,,62744
4156 | e is | 625015,,171500
4157 | a dis | 605014,,464746
4160 | tingu | 723235,,663752
4161 | ished | 647475,,62710
4162 | lite | 203315,,172312
4163 | ral h | 713035,,420320
4164 | omomo | 677335,,766736
4165 | rphis | 713415,,64746
4166 | m fro | 665014,,671336
4167 | m the | 665016,,464312
4170 | dis | 201014,,464746
4171 | tingu | 723235,,663752
4172 | ished | 647475,,62710
4173 | <15><12>lit | 64255,,464750
4174 | erals | 627454,,166346
4175 | of | 203374,,620100
4176 | T2 πo | 521444,,3736
4177 | nto t | 673515,,720350
4200 | he d | 643124,,20310
4201 | istin | 647476,,464734
4202 | guish | 637535,,171720
4203 | ed li | 627104,,66322
4204 | teral | 723136,,260730
4205 | s of | 715015,,763100
4206 | T1. | 202506,,127100
4207 | Not | 201011,,667750
4210 | e tha | 625016,,464302
4211 | t<15><12>co | 720321,,261736
LOC | ASCII | OCTAL HALFWORD
4212 | verin | 733136,,264734
4213 | g is | 635015,,171500
4214 | trans | 723454,,167346
4215 | itive | 647515,,173312
4216 | . If | 271004,,44714
4217 | Tf1 | 202514,,630500
4220 | cover | 617376,,662744
4221 | s T2 | 715012,,431100
4222 | then | 723214,,567100
4223 | we sa | 737124,,71702
4224 | y tha | 745016,,464302
4225 | t T1 | 721012,,430500
4226 | is le | 647464,,66312
4227 | ss<15><12>t | 717461,,505350
4230 | han T | 643035,,620250
4231 | 2 in | 311015,,167100
4232 | the c | 723214,,520306
4233 | overi | 677554,,571322
4234 | ng or | 673164,,67744
4235 | derin | 623136,,264734
4236 | g. | 635344,,20100
4237 | We mi | 537124,,66722
4240 | ght a | 637216,,420302
4241 | sk qu | 717264,,70752
4242 | estio | 627476,,464736
4243 | ns ab | 673464,,60704
4244 | out | 677536,,420100
4245 | the<15><12> | 723214,,506424
4246 | struc | 717516,,272706
4247 | ture | 723536,,262500
4250 | of th | 677144,,72320
4251 | e set | 625016,,362750
4252 | of c | 203374,,620306
4253 | omple | 677336,,66312
4254 | te tr | 723124,,72344
4255 | ees | 627136,,320100
4256 | over | 677554,,571100
4257 | a set | 605016,,362750
4260 | S of | 202464,,67714
4261 | clau | 203075,,460752
4262 | ses w | 717136,,320356
4263 | hich<15> | 643234,,364032
4264 | <12>are | 53036,,262500
4265 | mini | 203335,,167322
4266 | mal i | 667035,,420322
4267 | n th | 671004,,72320
4270 | e cov | 625014,,367754
4271 | ering | 627455,,167316
4272 | orde | 203376,,262312
4273 | ring. | 713235,,663534
LOC | ASCII | OCTAL HALFWORD
4274 | No | 201004,,47336
4275 | te t | 723124,,20350
4276 | hat a | 643036,,420302
4277 | ny ho | 673624,,64336
4300 | momor | 667375,,567744
4301 | phism | 703215,,171732
4302 | <15><12>bet | 64254,,262750
4303 | ween | 737134,,567100
4304 | such | 717534,,364100
4305 | trees | 723454,,562746
4306 | will | 203575,,166330
4307 | be a | 203054,,520302
4310 | dist | 203115,,171750
4311 | ingui | 647354,,772722
4312 | shed | 717214,,562100
4313 | liter | 663236,,462744
4314 | al is | 607304,,64746
4315 | omorp | 677335,,771340
4316 | hism. | 643236,,366534
4317 | <15><12><15><12> | 200321,,206424
4320 | <11>Defi | 46114,,563322
4321 | nitio | 673236,,464736
4322 | n: Su | 671644,,51752
4323 | ppose | 703415,,771712
4324 | P1 i | 202406,,120322
4325 | s a p | 715014,,120340
4326 | ath o | 607515,,20336
4327 | f mat | 631015,,560750
4330 | e pai | 625016,,60722
4331 | rs i | 713464,,20322
4332 | n a s | 671014,,120346
4333 | emant | 627334,,167350
4334 | ic<15><12>t | 647061,,505350
4335 | ree T | 713134,,520250
4336 | 1. | 305344,,20100
4337 | Suppo | 517536,,70336
4340 | se f | 717124,,63100
4341 | is a | 647464,,60500
4342 | disti | 623236,,372322
4343 | nguis | 673176,,564746
4344 | hed | 643134,,420100
4345 | liter | 663236,,462744
4346 | al ho | 607304,,64336
4347 | momor | 667375,,567744
4350 | phism | 703215,,171732
4351 | from | 203156,,267732
4352 | T1<15><12> | 202506,,106424
4353 | to T2 | 723364,,52144
4354 | . Th | 271004,,52320
4355 | en th | 627344,,72320
LOC | ASCII | OCTAL HALFWORD
4356 | e πim | 625000,,764732
4357 | age o | 607174,,520336
4360 | f P1 | 631012,,30500
4361 | under | 727354,,462744
4362 | f is | 203144,,64746
4363 | the | 203515,,62500
4364 | path | 703036,,464100
4365 | P2 of | 501444,,67714
4366 | mate | 203334,,172312
4367 | pair | 203414,,164744
4370 | s in<15> | 715015,,167032
4371 | <12>T2 i | 52506,,220322
4372 | n whi | 671016,,764322
4373 | ch e | 617204,,20312
4374 | very | 733136,,274500
4375 | mate | 667036,,462500
4376 | pair | 703035,,171100
4377 | is t | 647464,,20350
4400 | he im | 643124,,64732
4401 | age o | 607174,,520336
4402 | f the | 631016,,464312
4403 | cor | 201014,,367744
4404 | respo | 713136,,370336
4405 | nding | 673115,,167316
4406 | mate | 203334,,172312
4407 | <15><12>pai | 64256,,60722
4410 | r of | 711004,,67714
4411 | T1. | 202506,,127100
4412 | Tha | 201012,,464302
4413 | t is, | 721015,,171530
4414 | ever | 203136,,662744
4415 | y ma | 745004,,66702
4416 | te pa | 723124,,70302
4417 | ir of | 647444,,67714
4420 | P2 | 201012,,31100
4421 | is o | 647464,,20336
4422 | btain | 613514,,164734
4423 | ed fr | 627104,,63344
4424 | om th | 677324,,72320
4425 | e<15><12>co | 624321,,261736
4426 | rresp | 713454,,571740
4427 | ondin | 677354,,464734
4430 | g ma | 635004,,66702
4431 | te p | 723124,,20340
4432 | air | 607236,,220100
4433 | of P | 677144,,20240
4434 | 1 by | 305004,,61362
4435 | rep | 201016,,262740
4436 | lacin | 663034,,364734
4437 | g bo | 635004,,61336
LOC | ASCII | OCTAL HALFWORD
4440 | th d | 723204,,20310
4441 | istin | 647476,,464734
4442 | guish | 637535,,171720
4443 | ed<15><12>l | 627101,,505330
4444 | itera | 647514,,571302
4445 | ls by | 663464,,61362
4446 | thei | 203515,,62722
4447 | r ima | 711015,,166702
4450 | ges u | 637136,,320352
4451 | nder | 673114,,571100
4452 | f. <15><12> | 631344,,6424
4453 | <15><12> | 64240,,0
4454 | | 0,,0
4577 | | 0,,0
4600 | <14><11>The | 60232,,464312
4601 | orem | 677454,,566500
4602 | (Ima | 201211,,166702
4603 | ges | 637136,,320100
4604 | of C | 677144,,20206
4605 | ontin | 677356,,464734
4606 | uous | 727376,,571500
4607 | Path | 202414,,172320
4610 | s): | 715227,,220100
4611 | The | 202515,,62500
4612 | imag | 203235,,560716
4613 | e of | 625004,,67714
4614 | a<15><12> | 201014,,106424
4615 | conti | 617375,,672322
4616 | nuous | 673535,,772746
4617 | pa | 201004,,70302
4620 | th o | 723204,,20336
4621 | f ma | 631004,,66702
4622 | te p | 723124,,20340
4623 | airs | 607236,,271500
4624 | und | 201016,,567310
4625 | er a | 627444,,20302
4626 | dis | 201014,,464746
4627 | tingu | 723235,,663752
4630 | ished | 647475,,62710
4631 | lit | 201015,,464750
4632 | eral<15> | 627454,,166032
4633 | <12>homo | 53215,,766736
4634 | morph | 667376,,270320
4635 | ism i | 647475,,520322
4636 | s con | 715014,,367734
4637 | tinuo | 723235,,672736
4640 | us. <15> | 727465,,620032
4641 | <12><15><12><11>P | 50321,,204640
4642 | roof: | 713375,,763164
LOC | ASCII | OCTAL HALFWORD
4643 | Dis | 201010,,464746
4644 | tinct | 723235,,661750
4645 | di | 201004,,62322
4646 | sting | 717515,,167316
4647 | uishe | 727236,,364312
4650 | d li | 621004,,66322
4651 | teral | 723136,,260730
4652 | s f | 715004,,20314
4653 | rom | 713375,,520100
4654 | the | 723214,,520100
4655 | same | 203474,,166712
4656 | <15><12>dis | 64254,,464746
4657 | tingu | 723235,,663752
4660 | ished | 647475,,62710
4661 | clau | 203075,,460752
4662 | se ar | 717124,,60744
4663 | e map | 625015,,560740
4664 | ped | 703134,,420100
4665 | onto | 677356,,467500
4666 | disti | 623236,,372322
4667 | nct d | 673076,,420310
4670 | istin | 647476,,464734
4671 | guish | 637535,,171720
4672 | ed li | 627104,,66322
4673 | teral | 723136,,260730
4674 | s<15><12>fr | 714321,,263344
4675 | om t | 677324,,20350
4676 | he sa | 643124,,71702
4677 | me d | 667124,,20310
4700 | istin | 647476,,464734
4701 | guish | 637535,,171720
4702 | ed cl | 627104,,61730
4703 | ause | 607536,,362500
4704 | by s | 613624,,20346
4705 | uch a | 727075,,20302
4706 | hom | 201015,,67732
4707 | omorp | 677335,,771340
4710 | hism. | 643236,,366534
4711 | Als | 201010,,166346
4712 | o,<15><12>m | 675301,,505332
4713 | ate | 607514,,520100
4714 | disti | 623236,,372322
4715 | nguis | 673176,,564746
4716 | hed | 643134,,420100
4717 | liter | 663236,,462744
4720 | als | 607316,,320100
4721 | are | 607454,,520100
4722 | mappe | 667036,,70312
4723 | d in | 621004,,64734
4724 | to m | 723364,,20332
LOC | ASCII | OCTAL HALFWORD
4725 | ate | 607514,,520100
4726 | disti | 623236,,372322
4727 | nguis | 673176,,564746
4730 | hed<15><12> | 643134,,406424
4731 | liter | 663236,,462744
4732 | als b | 607316,,320304
4733 | y su | 745004,,71752
4734 | ch a | 617204,,60500
4735 | homom | 643375,,567732
4736 | orphi | 677456,,64322
4737 | sm. | 717325,,620100
4740 | See | 202474,,562500
4741 | figur | 633234,,772744
4742 | e 4.2 | 625006,,427144
4743 | for | 203155,,771100
4744 | an e | 203035,,620312
4745 | xampl | 743035,,570330
4746 | e of<15> | 625015,,763032
4747 | <12>the | 53515,,62500
4750 | image | 647334,,163712
4751 | of a | 203374,,620302
4752 | cont | 203075,,767350
4753 | inuou | 647356,,567752
4754 | s pat | 715016,,60750
4755 | h und | 641016,,567310
4756 | er a | 627444,,60500
4757 | homom | 643375,,567732
4760 | orphi | 677456,,64322
4761 | sm. <15> | 717325,,620032
4762 | <12><15><12><11>H | 50321,,204620
4763 | ere | 627454,,520100
4764 | is a | 647464,,20302
4765 | sp | 201004,,71740
4766 | ecial | 627075,,160730
4767 | cas | 201014,,360746
4770 | e i | 625004,,20322
4771 | n wh | 671004,,73720
4772 | ich | 647075,,20100
4773 | the | 203515,,62500
4774 | resu | 203454,,571752
4775 | lt | 663504,,20100
4776 | about | 607055,,772750
4777 | <15><12>aut | 64254,,172750
5000 | omorp | 677335,,771340
5001 | hisms | 643236,,366746
5002 | bein | 203054,,564734
5003 | g the | 635016,,464312
5004 | iden | 203234,,462734
5005 | tity | 723236,,474500
5006 | is ea | 647464,,62702
LOC | ASCII | OCTAL HALFWORD
5007 | sy to | 717624,,72336
5010 | prov | 203416,,267754
5011 | e:<15><12><15> | 625641,,505032
5012 | <12><11>The | 50232,,464312
5013 | orem | 677454,,566500
5014 | (Auto | 242036,,572336
5015 | morph | 667376,,270320
5016 | isms | 647475,,571500
5017 | of R | 677144,,20244
5020 | educe | 627116,,561712
5021 | d Tre | 621012,,471312
5022 | es): | 627465,,135100
5023 | There | 523214,,571312
5024 | is | 203236,,320100
5025 | only | 677355,,474500
5026 | one<15><12> | 677354,,506424
5027 | disti | 623236,,372322
5030 | nguis | 673176,,564746
5031 | hed | 643134,,420100
5032 | liter | 663236,,462744
5033 | al a | 607304,,20302
5034 | utomo | 727515,,766736
5035 | rphis | 713415,,64746
5036 | m of | 665015,,763100
5037 | a re | 203024,,71312
5040 | duced | 623534,,362710
5041 | sem | 201016,,362732
5042 | antic | 607356,,464706
5043 | tre | 201016,,471312
5044 | e T,<15> | 625012,,426032
5045 | <12>name | 53354,,166712
5046 | ly, t | 663625,,420350
5047 | he id | 643124,,64710
5050 | entit | 627356,,464750
5051 | y map | 745015,,560740
5052 | ping. | 703235,,663534
5053 | <15><12><15><12> | 200321,,206424
5054 | <11>Proo | 46416,,267736
5055 | f: Co | 631644,,41736
5056 | nside | 673475,,162312
5057 | r wha | 711016,,764302
5060 | t hap | 721015,,60740
5061 | pens | 703135,,671500
5062 | to di | 723364,,62322
5063 | sting | 717515,,167316
5064 | uishe | 727236,,364312
5065 | d lit | 621015,,464750
5066 | erals | 627454,,166346
5067 | at t | 203036,,420350
5070 | he<15><12>a | 643121,,505302
LOC | ASCII | OCTAL HALFWORD
5071 | rcs | 713076,,320100
5072 | leadi | 663134,,162322
5073 | ng ou | 673164,,67752
5074 | t of | 721004,,67714
5075 | the | 203515,,62500
5076 | root | 203455,,767750
5077 | of | 201015,,763100
5100 | T. | 521344,,20100
5101 | They | 202515,,62762
5102 | must | 203336,,571750
5103 | be | 201014,,262500
5104 | mappp | 667036,,70340
5105 | ed o | 627104,,20336
5106 | nto<15><12> | 673515,,706424
5107 | thems | 723214,,566746
5110 | elves | 627316,,662746
5111 | sinc | 203475,,167306
5112 | e no | 625004,,67336
5113 | othe | 203376,,464312
5114 | r arc | 711014,,171306
5115 | s in | 715015,,167100
5116 | T hav | 521015,,60754
5117 | e the | 625016,,464312
5120 | same | 203474,,166712
5121 | labe | 203314,,161312
5122 | ls as | 663464,,60746
5123 | the | 203515,,62500
5124 | arcs<15> | 607454,,371432
5125 | <12>lead | 53314,,560710
5126 | ing o | 647354,,720336
5127 | ut of | 727504,,67714
5130 | the | 201016,,464312
5131 | root | 203455,,767750
5132 | of T | 203374,,620250
5133 | . A | 271004,,20202
5134 | lso, | 663475,,726100
5135 | all d | 607315,,420310
5136 | istin | 647476,,464734
5137 | guish | 637535,,171720
5140 | ed l | 627104,,20330
5141 | itera | 647514,,571302
5142 | ls in | 663464,,64734
5143 | <15><12>the | 64256,,464312
5144 | lef | 201015,,462714
5145 | t su | 721004,,71752
5146 | btree | 613516,,262712
5147 | of | 201004,,67714
5150 | T | 201012,,420100
5151 | (if | 243234,,620100
5152 | it e | 647504,,20312
LOC | ASCII | OCTAL HALFWORD
5153 | xists | 743236,,372346
5154 | ) m | 245004,,20332
5155 | ust | 727476,,420100
5156 | be m | 613124,,20332
5157 | apped | 607416,,62710
5160 | ont | 201015,,767350
5161 | o<15><12>di | 674321,,262322
5162 | sting | 717515,,167316
5163 | uishe | 727236,,364312
5164 | d lit | 621015,,464750
5165 | erals | 627454,,166346
5166 | in t | 203235,,620350
5167 | he l | 643124,,20330
5170 | eft s | 627156,,420346
5171 | ubtre | 727056,,471312
5172 | e of | 625015,,763100
5173 | T by | 202504,,61362
5174 | a c | 203024,,20306
5175 | onnec | 677355,,662706
5176 | tedne | 723134,,467312
5177 | ss<15><12> | 717461,,505000
5200 | <14>argu | 63036,,263752
5201 | ment, | 667135,,672130
5202 | and | 203035,,662100
5203 | simil | 717235,,564730
5204 | arly | 607455,,474500
5205 | for t | 633376,,220350
5206 | he ri | 643124,,71322
5207 | ght s | 637216,,420346
5210 | ubtre | 727056,,471312
5211 | e of | 625015,,763100
5212 | T. T | 521344,,20250
5213 | he th | 643124,,72320
5214 | eorem | 627376,,262732
5215 | then | 203515,,62734
5216 | <15><12>fol | 64254,,667730
5217 | lows | 663376,,771500
5220 | by in | 613624,,64734
5221 | ducti | 623534,,372322
5222 | on. | 677345,,620100
5223 | Late | 202314,,172312
5224 | r we | 711016,,762500
5225 | will | 737235,,466100
5226 | exten | 627616,,462734
5227 | d thi | 621016,,464322
5230 | s res | 715016,,262746
5231 | ult t | 727316,,420350
5232 | o arb | 675014,,171304
5233 | itrar | 647516,,260744
5234 | y<15><12>co | 744321,,261736
LOC | ASCII | OCTAL HALFWORD
5235 | mplet | 667415,,462750
5236 | e sem | 625016,,362732
5237 | antic | 607356,,464706
5240 | tree | 203516,,262712
5241 | s wit | 715016,,764750
5242 | hout | 643376,,572100
5243 | vacuo | 733034,,372736
5244 | us ar | 727464,,60744
5245 | cs. <15> | 617465,,620032
5246 | <12><15><12><11><11> | 50321,,204422
5247 | <11>Clos | 46075,,467746
5250 | ed Se | 627104,,51712
5251 | ts<15><12><15> | 723461,,505032
5252 | <12><11>Not | 50231,,667750
5253 | e tha | 625016,,464302
5254 | t the | 721016,,464312
5255 | imag | 203235,,560716
5256 | e of | 625015,,763100
5257 | a co | 203024,,61736
5260 | nnect | 673354,,561750
5261 | ed se | 627104,,71712
5262 | t und | 721016,,567310
5263 | er a | 627444,,60500
5264 | homo | 203215,,766736
5265 | morph | 667376,,270320
5266 | ism<15><12> | 647475,,506424
5267 | is a | 647464,,20302
5270 | lways | 663574,,174746
5271 | conn | 203075,,767334
5272 | ected | 627076,,462710
5273 | . L | 271004,,20230
5274 | ater | 607514,,571100
5275 | we d | 203574,,520310
5276 | iscus | 647474,,372746
5277 | s ot | 715004,,67750
5300 | her c | 643136,,220306
5301 | lasse | 663036,,371712
5302 | s of | 715004,,67714
5303 | sets | 203474,,572346
5304 | of<15> | 201015,,763032
5305 | <12>dist | 53115,,171750
5306 | ingui | 647354,,772722
5307 | shed | 717214,,562100
5310 | lit | 201015,,464750
5311 | erals | 627454,,166346
5312 | who | 201016,,764336
5313 | se | 717124,,20100
5314 | behav | 613135,,60754
5315 | ior | 647376,,220100
5316 | under | 727354,,462744
LOC | ASCII | OCTAL HALFWORD
5317 | ho | 201004,,64336
5320 | momor | 667375,,567744
5321 | phism | 703215,,171732
5322 | s is | 715004,,64746
5323 | <15><12>int | 64255,,167350
5324 | erest | 627454,,571750
5325 | ing. | 647354,,727100
5326 | Now | 201011,,667756
5327 | we | 201016,,762500
5330 | intro | 647356,,471336
5331 | duce | 623534,,362500
5332 | one | 203375,,662500
5333 | of t | 203374,,620350
5334 | hese | 643136,,362500
5335 | clas | 203075,,460746
5336 | ses o | 717136,,320336
5337 | f se | 631004,,71712
5340 | ts o | 723464,,20336
5341 | f<15><12>di | 630321,,262322
5342 | sting | 717515,,167316
5343 | uishe | 727236,,364312
5344 | d lit | 621015,,464750
5345 | erals | 627454,,166346
5346 | , the | 261016,,464312
5347 | πclo | 200174,,366336
5350 | sed s | 717134,,420346
5351 | ets. | 627516,,327100
5352 | <15><12><15><12><11> | 64241,,505022
5353 | Defin | 423134,,664734
5354 | ition | 647515,,167734
5355 | : A | 351004,,40500
5356 | πclos | 37075,,467746
5357 | ed s | 627104,,20346
5360 | et o | 627504,,20336
5361 | f dis | 631014,,464746
5362 | tingu | 723235,,663752
5363 | ished | 647475,,62710
5364 | lit | 201015,,464750
5365 | erals | 627454,,166346
5366 | in | 201015,,167100
5367 | a<15><12>se | 604321,,271712
5370 | manti | 667035,,672322
5371 | c tre | 615016,,471312
5372 | e T i | 625012,,420322
5373 | s a s | 715014,,120346
5374 | et S | 627504,,20246
5375 | of d | 203374,,620310
5376 | istin | 647476,,464734
5377 | guish | 637535,,171720
5400 | ed li | 627104,,66322
LOC | ASCII | OCTAL HALFWORD
5401 | teral | 723136,,260730
5402 | s sat | 715016,,360750
5403 | isfyi | 647474,,674722
5404 | ng t | 673164,,20350
5405 | he<15><12>f | 643121,,505314
5406 | ollow | 677315,,467756
5407 | ing r | 647354,,720344
5410 | equir | 627436,,564744
5411 | ement | 627334,,567350
5412 | s:<15><12><15> | 715641,,505032
5413 | <12><11>1.) | 50226,,127122
5414 | Ever | 202136,,662744
5415 | y ele | 745014,,566312
5416 | ment | 667135,,672100
5417 | of S | 677144,,51500
5420 | has a | 643036,,320302
5421 | t lea | 721015,,462702
5422 | st on | 717504,,67734
5423 | e mat | 625015,,560750
5424 | e tha | 625016,,464302
5425 | t is | 721015,,171500
5426 | in S. | 647344,,51534
5427 | <15><12><15><12> | 200321,,206424
5430 | <11>2.) | 45445,,624500
5431 | If L1 | 447144,,46142
5432 | is i | 203236,,320322
5433 | n S a | 671012,,320302
5434 | nd L2 | 673104,,46144
5435 | is i | 203236,,320322
5436 | n the | 671016,,464312
5437 | same | 203474,,166712
5440 | dist | 203115,,171750
5441 | ingui | 647354,,772722
5442 | shed | 717214,,562100
5443 | claus | 617314,,172746
5444 | e<15><12><11>a | 624321,,204702
5445 | s L1, | 715011,,430530
5446 | then | 203515,,62734
5447 | L2 i | 202306,,220322
5450 | s in | 715015,,167100
5451 | S. <15><12> | 515344,,6424
5452 | <15><12>Not | 64251,,667750
5453 | e th | 625004,,72320
5454 | at th | 607504,,72320
5455 | e co | 625004,,61736
5456 | nnect | 673354,,561750
5457 | ed c | 627104,,20306
5460 | ompon | 677336,,67734
5461 | ent o | 627356,,420336
5462 | f a | 631004,,60500
LOC | ASCII | OCTAL HALFWORD
5463 | dist | 203115,,171750
5464 | ingui | 647354,,772722
5465 | shed | 717214,,562100
5466 | liter | 663236,,462744
5467 | al i | 607304,,20322
5470 | s<15><12>cl | 714321,,261730
5471 | osed, | 677474,,562130
5472 | in | 201015,,167100
5473 | a c | 203024,,20306
5474 | omple | 677336,,66312
5475 | te se | 723124,,71712
5476 | manti | 667035,,672322
5477 | c tr | 615004,,72344
5500 | ee i | 627124,,20322
5501 | n wh | 671004,,73720
5502 | ich a | 647075,,20302
5503 | ll d | 663304,,20310
5504 | istin | 647476,,464734
5505 | guish | 637535,,171720
5506 | ed<15><12>l | 627101,,505330
5507 | itera | 647514,,571302
5510 | ls ar | 663464,,60744
5511 | e mat | 625015,,560750
5512 | ched. | 617214,,562134
5513 | <15><12><15><12> | 200321,,206424
5514 | | 0,,0
5577 | | 0,,0
5600 | <14><11>The | 60232,,464312
5601 | orem | 677454,,566500
5602 | (Ima | 201211,,166702
5603 | ges o | 637136,,320336
5604 | f Cl | 631004,,41730
5605 | osed | 677474,,562100
5606 | Sets | 202474,,572346
5607 | unde | 203535,,662312
5610 | r Ho | 711004,,44336
5611 | momor | 667375,,567744
5612 | phism | 703215,,171732
5613 | s): | 715227,,220100
5614 | The<15><12> | 523214,,506424
5615 | image | 647334,,163712
5616 | of a | 203374,,620302
5617 | clos | 203075,,467746
5620 | ed se | 627104,,71712
5621 | t of | 721015,,763100
5622 | disti | 623236,,372322
5623 | nguis | 673176,,564746
5624 | hed l | 643134,,420330
5625 | itera | 647514,,571302
LOC | ASCII | OCTAL HALFWORD
5626 | ls un | 663464,,72734
5627 | der a | 623136,,220302
5630 | dist | 203115,,171750
5631 | ingui | 647354,,772722
5632 | shed<15> | 717214,,562032
5633 | <12>lite | 53315,,172312
5634 | ral h | 713035,,420320
5635 | omomo | 677335,,766736
5636 | rphis | 713415,,64746
5637 | m is | 665015,,171500
5640 | close | 617315,,771712
5641 | d. <15><12> | 621344,,6424
5642 | <15><12><11>Pr | 64241,,150344
5643 | oof: | 677374,,635100
5644 | Defin | 423134,,664734
5645 | ition | 647515,,167734
5646 | of | 201015,,763100
5647 | dist | 203115,,171750
5650 | ingui | 647354,,772722
5651 | shed | 717214,,562100
5652 | lite | 203315,,172312
5653 | ral | 713035,,420100
5654 | homom | 643375,,567732
5655 | orphi | 677456,,64322
5656 | sm. <15> | 717325,,620032
5657 | <12>Note | 52355,,772312
5660 | that | 203515,,60750
5661 | the | 201016,,464312
5662 | set | 203474,,572100
5663 | of d | 677144,,20310
5664 | istin | 647476,,464734
5665 | guish | 637535,,171720
5666 | ed li | 627104,,66322
5667 | teral | 723136,,260730
5670 | s in | 715015,,167100
5671 | a co | 605004,,61736
5672 | mplet | 667415,,462750
5673 | e sem | 625016,,362732
5674 | antic | 607356,,464706
5675 | <15><12>tre | 64256,,471312
5676 | e wit | 625016,,764750
5677 | hout | 643376,,572100
5700 | vacuo | 733034,,372736
5701 | us ar | 727464,,60744
5702 | cs is | 617464,,64746
5703 | clos | 203075,,467746
5704 | ed, a | 627105,,420302
5705 | s is | 715015,,171500
5706 | the e | 723214,,520312
5707 | mpty | 667416,,474500
LOC | ASCII | OCTAL HALFWORD
5710 | set. | 717136,,427100
5711 | <15><12><15><12><11> | 64241,,505022
5712 | Theor | 523214,,567744
5713 | em ( | 627324,,20120
5714 | Close | 417315,,771712
5715 | d Se | 621004,,51712
5716 | ts an | 723464,,60734
5717 | d Ar | 621004,,40744
5720 | cs): | 617465,,135100
5721 | Supp | 202476,,570340
5722 | ose T | 677474,,520250
5723 | is | 201015,,171500
5724 | a co | 203024,,61736
5725 | mplet | 667415,,462750
5726 | e<15><12>fi | 624321,,263322
5727 | nite | 673236,,462500
5730 | seman | 717135,,560734
5731 | tic t | 723234,,320350
5732 | ree w | 713134,,520356
5733 | ithou | 647515,,67752
5734 | t vac | 721016,,660706
5735 | uous | 727376,,571500
5736 | arcs. | 607454,,371534
5737 | The | 201012,,464312
5740 | n any | 671014,,167362
5741 | non- | 203355,,767132
5742 | empty | 627336,,72362
5743 | clos | 203075,,467746
5744 | ed<15><12>s | 627101,,505346
5745 | ubset | 727056,,362750
5746 | S of | 202464,,67714
5747 | the | 203515,,62500
5750 | disti | 623236,,372322
5751 | nguis | 673176,,564746
5752 | hed l | 643134,,420330
5753 | itera | 647514,,571302
5754 | ls of | 663464,,67714
5755 | T mu | 202504,,66752
5756 | st in | 717504,,64734
5757 | clude | 617316,,562312
5760 | at l | 203036,,420330
5761 | east | 627036,,372100
5762 | one<15><12> | 677354,,506424
5763 | disti | 623236,,372322
5764 | nguis | 673176,,564746
5765 | hed l | 643134,,420330
5766 | itera | 647514,,571302
5767 | l fro | 661014,,671336
5770 | m eac | 665014,,560706
5771 | h arc | 641014,,171306
LOC | ASCII | OCTAL HALFWORD
5772 | of T | 203374,,620250
5773 | . <15><12><15> | 271001,,505032
5774 | <12><11>Pro | 50232,,71336
5775 | of: B | 677147,,220204
5776 | y ind | 745015,,167310
5777 | uctio | 727076,,464736
6000 | n on | 671004,,67734
6001 | the | 203515,,62500
6002 | left | 203314,,563350
6003 | and | 203035,,662100
6004 | right | 713234,,764350
6005 | sub | 201016,,372704
6006 | trees | 723454,,562746
6007 | of | 203374,,620100
6010 | T. <15><12> | 521344,,6424
6011 | Consi | 417375,,671722
6012 | der | 623136,,220100
6013 | the | 723214,,520100
6014 | arcs | 607454,,371500
6015 | leadi | 663134,,162322
6016 | ng o | 673164,,20336
6017 | ut o | 727504,,20336
6020 | f th | 631004,,72320
6021 | e ro | 625004,,71336
6022 | ot. | 677505,,620100
6023 | Eith | 202135,,172320
6024 | er b | 627444,,20304
6025 | oth | 677515,,20100
6026 | have<15> | 643036,,662432
6027 | <12>dist | 53115,,171750
6030 | ingui | 647354,,772722
6031 | shed | 717214,,562100
6032 | liter | 663236,,462744
6033 | als | 607316,,320100
6034 | that | 723214,,172100
6035 | are i | 607454,,520322
6036 | n S, | 671012,,326100
6037 | or ne | 677444,,67312
6040 | ither | 647515,,62744
6041 | doe | 201014,,467712
6042 | s. I | 715344,,20222
6043 | f bot | 631014,,267750
6044 | h do, | 641014,,467530
6045 | <15><12>the | 64256,,464312
6046 | n at | 671014,,172100
6047 | least | 663134,,171750
6050 | one | 203375,,662500
6051 | arc f | 607454,,320314
6052 | rom t | 713375,,520350
6053 | he le | 643124,,66312
LOC | ASCII | OCTAL HALFWORD
6054 | ft an | 633504,,60734
6055 | d rig | 621016,,264716
6056 | ht su | 643504,,71752
6057 | btree | 613516,,262712
6060 | s of | 715015,,763100
6061 | T (if | 521005,,64714
6062 | thes | 203515,,62746
6063 | e<15><12>su | 624321,,271752
6064 | btree | 613516,,262712
6065 | s ar | 715004,,60744
6066 | e non | 625015,,667734
6067 | -empt | 267135,,570350
6070 | y) m | 745224,,20332
6071 | ust | 727476,,420100
6072 | have | 643036,,662500
6073 | a di | 605004,,62322
6074 | sting | 717515,,167316
6075 | uishe | 727236,,364312
6076 | d li | 621004,,66322
6077 | teral | 723136,,260730
6100 | in | 203235,,620100
6101 | S.<15><12>T | 515341,,505250
6102 | heref | 643136,,262714
6103 | ore t | 677454,,520350
6104 | he th | 643124,,72320
6105 | eorem | 627376,,262732
6106 | foll | 203155,,766330
6107 | ows b | 677576,,320304
6110 | y ind | 745015,,167310
6111 | uctio | 727076,,464736
6112 | n. I | 671344,,20222
6113 | f nei | 631015,,662722
6114 | ther | 723214,,571100
6115 | does, | 623374,,571530
6116 | then | 203515,,62734
6117 | at<15><12> | 203036,,406424
6120 | least | 663134,,171750
6121 | one | 203375,,662500
6122 | arc | 203036,,261500
6123 | from | 203156,,267732
6124 | the | 203515,,62500
6125 | left | 203314,,563350
6126 | and | 201014,,167310
6127 | righ | 203455,,163720
6130 | t su | 721004,,71752
6131 | btree | 613516,,262712
6132 | s of | 715004,,67714
6133 | T ( | 202504,,20120
6134 | if t | 647144,,20350
6135 | hese<15> | 643136,,362432
LOC | ASCII | OCTAL HALFWORD
6136 | <12>subt | 53476,,561350
6137 | rees | 713134,,571500
6140 | are n | 607454,,520334
6141 | on-em | 677345,,562732
6142 | pty) | 703517,,124500
6143 | must | 667536,,372100
6144 | have | 203214,,173312
6145 | πno | 200175,,667500
6146 | disti | 623236,,372322
6147 | nguis | 673176,,564746
6150 | hed l | 643134,,420330
6151 | itera | 647514,,571302
6152 | ls fr | 663464,,63344
6153 | om S. | 677324,,51534
6154 | <15><12>The | 64252,,464312
6155 | refor | 713134,,667744
6156 | e the | 625016,,464312
6157 | theo | 203515,,62736
6160 | rem a | 713135,,520302
6161 | gain | 637035,,167100
6162 | follo | 633375,,466336
6163 | ws by | 737464,,61362
6164 | indu | 203235,,662352
6165 | ction | 617515,,167734
6166 | . Al | 271004,,40730
6167 | so, t | 717365,,420350
6170 | he t | 643124,,20350
6171 | heore | 643135,,771312
6172 | m<15><12>is | 664321,,264746
6173 | triv | 203516,,264754
6174 | ially | 647035,,466362
6175 | true | 203516,,272712
6176 | for | 203155,,771100
6177 | empty | 627336,,72362
6200 | tree | 203516,,262712
6201 | s. <15><12> | 715344,,6424
6202 | <15><12> | 64240,,0
6203 | | 0,,0
6377 | | 0,,0
6400 | <14><11>Cor | 60230,,367744
6401 | ollar | 677315,,460744
6402 | y (Cl | 745005,,41730
6403 | osed | 677474,,562100
6404 | Sets | 202474,,572346
6405 | and | 201014,,167310
6406 | Comp | 202075,,766740
6407 | lete | 663136,,462500
6410 | Tree | 202516,,262712
6411 | s wit | 715016,,764750
LOC | ASCII | OCTAL HALFWORD
6412 | hout | 643376,,572100
6413 | Vacu | 202554,,161752
6414 | ous<15><12> | 677536,,306424
6415 | Arcs) | 407454,,371522
6416 | : Any | 351010,,167362
6417 | non- | 203355,,767132
6420 | empty | 627336,,72362
6421 | clos | 203075,,467746
6422 | ed su | 627104,,71752
6423 | bset | 613474,,572100
6424 | of a | 677144,,60500
6425 | compl | 617375,,570330
6426 | ete f | 627514,,520314
6427 | inite | 647355,,172312
6430 | sema | 203474,,566702
6431 | ntic | 673515,,161500
6432 | tree<15> | 723454,,562432
6433 | <12>with | 53575,,172320
6434 | out v | 677536,,420354
6435 | acuou | 607076,,567752
6436 | s arc | 715014,,171306
6437 | s inc | 715015,,167306
6440 | ludes | 663534,,462746
6441 | all | 203035,,466100
6442 | disti | 623236,,372322
6443 | nguis | 673176,,564746
6444 | hed l | 643134,,420330
6445 | itera | 647514,,571302
6446 | ls in | 663464,,64734
6447 | the | 203515,,62500
6450 | tree. | 723454,,562534
6451 | <15><12><15><12> | 200321,,206424
6452 | <11>Proo | 46416,,267736
6453 | f: Su | 631644,,51752
6454 | ppose | 703415,,771712
6455 | T is | 202504,,64746
6456 | such | 203476,,561720
6457 | a tr | 203024,,72344
6460 | ee an | 627124,,60734
6461 | d A i | 621010,,120322
6462 | s a m | 715014,,120332
6463 | axima | 607615,,166702
6464 | l arc | 661014,,171306
6465 | of T | 203374,,620250
6466 | . <15><12>N | 271001,,505234
6467 | ow, s | 677565,,420346
6470 | ome | 677334,,520100
6471 | disti | 623236,,372322
6472 | nguis | 673176,,564746
6473 | hed l | 643134,,420330
LOC | ASCII | OCTAL HALFWORD
6474 | itera | 647514,,571302
6475 | l L | 661011,,420100
6476 | at A | 607504,,40500
6477 | must | 667536,,372100
6500 | be i | 613124,,20322
6501 | n S, | 671012,,326100
6502 | by t | 613624,,20350
6503 | he ab | 643124,,60704
6504 | ove<15><12> | 677554,,506424
6505 | theor | 723214,,567744
6506 | em. | 627325,,620100
6507 | But | 201010,,272750
6510 | all | 203035,,466100
6511 | dist | 203115,,171750
6512 | ingui | 647354,,772722
6513 | shed | 717214,,562100
6514 | liter | 663236,,462744
6515 | als | 607316,,320100
6516 | at A | 607504,,20202
6517 | are | 203036,,262500
6520 | from | 203156,,267732
6521 | the | 203515,,62500
6522 | same | 203474,,166712
6523 | <15><12>dis | 64254,,464746
6524 | tingu | 723235,,663752
6525 | ished | 647475,,62710
6526 | clau | 203075,,460752
6527 | se, | 717125,,420100
6530 | namel | 673035,,562730
6531 | y, th | 745304,,72320
6532 | e di | 625004,,62322
6533 | sting | 717515,,167316
6534 | uishe | 727236,,364312
6535 | d cla | 621014,,366302
6536 | use | 727474,,520100
6537 | at th | 607504,,72320
6540 | e ti | 625004,,72322
6541 | p<15><12>im | 700321,,264732
6542 | media | 667134,,464702
6543 | tely | 723135,,474500
6544 | above | 607055,,773312
6545 | the | 201016,,464312
6546 | arc | 203036,,261500
6547 | A. | 405344,,20100
6550 | Hence | 443135,,661712
6551 | , by | 261014,,274500
6552 | the | 723214,,520100
6553 | defin | 623134,,664734
6554 | ition | 647515,,167734
6555 | of a | 203374,,620302
LOC | ASCII | OCTAL HALFWORD
6556 | clos | 203075,,467746
6557 | ed<15><12>s | 627101,,505346
6560 | et, a | 627505,,420302
6561 | ll di | 663304,,62322
6562 | sting | 717515,,167316
6563 | uishe | 727236,,364312
6564 | d lit | 621015,,464750
6565 | erals | 627454,,166346
6566 | fro | 201014,,671336
6567 | m thi | 665016,,464322
6570 | s dis | 715014,,464746
6571 | tingu | 723235,,663752
6572 | ished | 647475,,62710
6573 | clau | 203075,,460752
6574 | se m | 717124,,20332
6575 | ust<15><12> | 727476,,406424
6576 | be in | 613124,,64734
6577 | S. | 202465,,620100
6600 | But t | 413536,,420350
6601 | he sa | 643124,,71702
6602 | me ar | 667124,,60744
6603 | gumen | 637535,,562734
6604 | t ap | 721004,,60740
6605 | plies | 703315,,162746
6606 | to a | 203515,,720302
6607 | ll di | 663304,,62322
6610 | sting | 717515,,167316
6611 | uishe | 727236,,364312
6612 | d cla | 621014,,366302
6613 | uses<15> | 727474,,571432
6614 | <12>of T | 53374,,620250
6615 | . <15><12><15> | 271001,,505032
6616 | <12><11>The | 50232,,464312
6617 | orem | 677454,,566500
6620 | (Homo | 242215,,766736
6621 | morph | 667376,,270320
6622 | isms | 647475,,571500
6623 | betwe | 613136,,473712
6624 | en Co | 627344,,41736
6625 | mplet | 667415,,462750
6626 | e Tre | 625012,,471312
6627 | es wi | 627464,,73722
6630 | thout | 723215,,772750
6631 | Vacu | 202554,,161752
6632 | ous<15><12> | 677536,,306424
6633 | Arcs) | 407454,,371522
6634 | : Sup | 351012,,372740
6635 | pose | 703376,,362500
6636 | f is | 203144,,64746
6637 | a di | 203024,,62322
LOC | ASCII | OCTAL HALFWORD
6640 | sting | 717515,,167316
6641 | uishe | 727236,,364312
6642 | d lit | 621015,,464750
6643 | eral | 627454,,166100
6644 | homo | 203215,,766736
6645 | morph | 667376,,270320
6646 | ism f | 647475,,520314
6647 | rom T | 713375,,520250
6650 | 1 to<15> | 305016,,467432
6651 | <12>T2, | 52506,,226100
6652 | where | 737214,,571312
6653 | T1 a | 202506,,120302
6654 | nd T2 | 673104,,52144
6655 | are | 203036,,262500
6656 | compl | 617375,,570330
6657 | ete s | 627514,,520346
6660 | emant | 627334,,167350
6661 | ic tr | 647064,,72344
6662 | ees w | 627136,,320356
6663 | ithou | 647515,,67752
6664 | t vac | 721016,,660706
6665 | uous | 727376,,571500
6666 | arcs. | 607454,,371534
6667 | <15><12>Sup | 64252,,372740
6670 | pose | 703376,,362500
6671 | T1 | 202506,,120100
6672 | is n | 647464,,20334
6673 | on-em | 677345,,562732
6674 | pty. | 703517,,127100
6675 | Th | 201004,,52320
6676 | en f | 627344,,20314
6677 | is | 201015,,171500
6700 | onto | 203375,,672336
6701 | . | 271004,,20100
6702 | That | 523214,,172100
6703 | is, | 203236,,326100
6704 | ever | 203136,,662744
6705 | y<15><12>di | 744321,,262322
6706 | sting | 717515,,167316
6707 | uishe | 727236,,364312
6710 | d l | 621004,,20330
6711 | itera | 647514,,571302
6712 | l of | 661004,,67714
6713 | T2 | 201012,,431100
6714 | is | 201015,,171500
6715 | the | 203515,,62500
6716 | imag | 203235,,560716
6717 | e un | 625004,,72734
6720 | der | 623136,,220100
6721 | f o | 203144,,20336
LOC | ASCII | OCTAL HALFWORD
6722 | f so | 631004,,71736
6723 | me<15><12>d | 667121,,505310
6724 | istin | 647476,,464734
6725 | guish | 637535,,171720
6726 | ed li | 627104,,66322
6727 | teral | 723136,,260730
6730 | of T | 203374,,620250
6731 | 1. <15><12> | 305344,,6424
6732 | <15><12><11>Pr | 64241,,150344
6733 | oof: | 677374,,635100
6734 | The s | 523214,,520346
6735 | et of | 627504,,67714
6736 | dist | 203115,,171750
6737 | ingui | 647354,,772722
6740 | shed | 717214,,562100
6741 | liter | 663236,,462744
6742 | als o | 607316,,320336
6743 | f T1 | 631012,,430500
6744 | is c | 203236,,320306
6745 | losed | 663376,,362710
6746 | and<15> | 203035,,662032
6747 | <12>non- | 53355,,767132
6750 | empty | 627336,,72362
6751 | , hen | 261015,,62734
6752 | ce it | 617124,,64750
6753 | s ima | 715015,,166702
6754 | ge un | 637124,,72734
6755 | der f | 623136,,220314
6756 | is c | 203236,,320306
6757 | losed | 663376,,362710
6760 | and | 203035,,662100
6761 | non-e | 673375,,626712
6762 | mpty, | 667416,,474530
6763 | henc | 203214,,567306
6764 | e its | 625015,,172346
6765 | <15><12>ima | 64255,,166702
6766 | ge un | 637124,,72734
6767 | der f | 623136,,220314
6770 | incl | 203235,,661730
6771 | udes | 727114,,571500
6772 | every | 627554,,571362
6773 | dist | 203115,,171750
6774 | ingui | 647354,,772722
6775 | shed | 717214,,562100
6776 | liter | 663236,,462744
6777 | al of | 607304,,67714
7000 | T2. | 202506,,227100
7001 | <15><12>Not | 64251,,667750
7002 | e tha | 625016,,464302
7003 | t T2 | 721012,,431100
LOC | ASCII | OCTAL HALFWORD
7004 | cover | 617376,,662744
7005 | s T1 | 715012,,430500
7006 | in th | 647344,,72320
7007 | is ca | 647464,,61702
7010 | se.<15><12> | 717125,,606424
7011 | <15><12> | 64240,,0
7012 | | 0,,0
7177 | | 0,,0
7200 | <14><11>Cor | 60230,,367744
7201 | ollar | 677315,,460744
7202 | y: A | 745644,,20202
7203 | ny d | 673624,,20310
7204 | istin | 647476,,464734
7205 | guish | 637535,,171720
7206 | ed l | 627104,,20330
7207 | itera | 647514,,571302
7210 | l a | 661004,,20302
7211 | utomo | 727515,,766736
7212 | rphis | 713415,,64746
7213 | m of | 665004,,67714
7214 | a<15><12> | 201014,,106424
7215 | compl | 617375,,570330
7216 | ete f | 627514,,520314
7217 | inite | 647355,,172312
7220 | sema | 203474,,566702
7221 | ntic | 673515,,161500
7222 | tree | 723454,,562500
7223 | witho | 737236,,464336
7224 | ut va | 727504,,73302
7225 | cuous | 617535,,772746
7226 | arcs | 203036,,261746
7227 | is a | 203236,,320302
7230 | perm | 203414,,571332
7231 | utati | 727514,,172322
7232 | on. <15> | 677345,,620032
7233 | <12><15><12><11>N | 50321,,204634
7234 | ote | 677514,,520100
7235 | that | 723214,,172100
7236 | compl | 617375,,570330
7237 | ete π | 627514,,520016
7240 | reduc | 713134,,472706
7241 | ed s | 627104,,20346
7242 | emant | 627334,,167350
7243 | ic tr | 647064,,72344
7244 | ees | 627136,,320100
7245 | have | 643036,,662500
7246 | no va | 673364,,73302
7247 | cuous | 617535,,772746
7250 | <15><12>arc | 64254,,171306
LOC | ASCII | OCTAL HALFWORD
7251 | s, an | 715304,,60734
7252 | d so | 621016,,367500
7253 | simil | 717235,,564730
7254 | ar re | 607444,,71312
7255 | marks | 667036,,265746
7256 | appl | 203036,,70330
7257 | y to | 745016,,467500
7260 | them. | 723214,,566534
7261 | <15><12><15><12> | 200321,,206424
7262 | <11><11>Arc | 44230,,171306
7263 | and | 203035,,662100
7264 | Disti | 423236,,372322
7265 | nguis | 673176,,564746
7266 | hed L | 643134,,420230
7267 | itera | 647514,,571302
7270 | l Ind | 661011,,167310
7271 | ices<15> | 647074,,571432
7272 | <12><15><12><11>N | 50321,,204634
7273 | ow we | 677564,,73712
7274 | cons | 203075,,767346
7275 | ider | 647114,,571100
7276 | anot | 203035,,667750
7277 | her a | 643136,,220302
7300 | spect | 717414,,561750
7301 | of h | 203374,,620320
7302 | omomo | 677335,,766736
7303 | rphis | 713415,,64746
7304 | ms o | 667464,,20336
7305 | f sem | 631016,,362732
7306 | antic | 607356,,464706
7307 | <15><12>tre | 64256,,471312
7310 | es. <15> | 627465,,620032
7311 | <12><15><12><11>D | 50321,,204610
7312 | efini | 627155,,167322
7313 | tion: | 723235,,767164
7314 | Supp | 202476,,570340
7315 | ose f | 677474,,520314
7316 | is a | 203236,,320302
7317 | dist | 203115,,171750
7320 | ingui | 647354,,772722
7321 | shed | 717214,,562100
7322 | liter | 663236,,462744
7323 | al ho | 607304,,64336
7324 | momor | 667375,,567744
7325 | phism | 703215,,171732
7326 | <15><12>fro | 64254,,671336
7327 | m T1 | 665012,,430500
7330 | to T2 | 723364,,52144
7331 | . Th | 271004,,52320
7332 | en th | 627344,,72320
LOC | ASCII | OCTAL HALFWORD
7333 | e πin | 625000,,764734
7334 | dex u | 623137,,20352
7335 | nder | 673114,,571100
7336 | f of | 631015,,763100
7337 | a dis | 605014,,464746
7340 | tingu | 723235,,663752
7341 | ished | 647475,,62710
7342 | lit | 201015,,464750
7343 | eral | 627454,,166100
7344 | L<15><12>in | 460321,,264734
7345 | T2 i | 202506,,220322
7346 | s the | 715016,,464312
7347 | πnum | 200175,,672732
7350 | ber o | 613136,,220336
7351 | f dis | 631014,,464746
7352 | tingu | 723235,,663752
7353 | ished | 647475,,62710
7354 | lite | 203315,,172312
7355 | rals | 713035,,471500
7356 | in T1 | 647344,,52142
7357 | mapp | 203334,,170340
7360 | ed on | 627104,,67734
7361 | to L | 723364,,46100
7362 | by<15><12>f | 613621,,505314
7363 | . <15><12><15> | 271001,,505032
7364 | <12><11>The | 50232,,464312
7365 | orem | 677454,,566500
7366 | (Non | 201211,,667734
7367 | -Unif | 266535,,664714
7370 | orm D | 677455,,520210
7371 | istin | 647476,,464734
7372 | guish | 637535,,171720
7373 | ed Li | 627104,,46322
7374 | teral | 723136,,260730
7375 | Indi | 202235,,662322
7376 | ces): | 617136,,324564
7377 | Supp | 202476,,570340
7400 | ose<15><12> | 677474,,506424
7401 | f is | 631015,,171500
7402 | a dis | 605014,,464746
7403 | tingu | 723235,,663752
7404 | ished | 647475,,62710
7405 | lite | 203315,,172312
7406 | ral h | 713035,,420320
7407 | omomo | 677335,,766736
7410 | rphis | 713415,,64746
7411 | m fro | 665014,,671336
7412 | m T1 | 665012,,430500
7413 | to T2 | 723364,,52144
7414 | , whe | 261016,,764312
LOC | ASCII | OCTAL HALFWORD
7415 | re T1 | 713124,,52142
7416 | and<15> | 203035,,662032
7417 | <12>T2 a | 52506,,220302
7420 | re co | 713124,,61736
7421 | mplet | 667415,,462750
7422 | e sem | 625016,,362732
7423 | antic | 607356,,464706
7424 | tree | 203516,,262712
7425 | s wit | 715016,,764750
7426 | hout | 643376,,572100
7427 | vacuo | 733034,,372736
7430 | us ar | 727464,,60744
7431 | cs. | 617465,,620100
7432 | Then | 523214,,567100
7433 | one o | 677354,,520336
7434 | f the | 631016,,464312
7435 | <15><12>fol | 64254,,667730
7436 | lowin | 663376,,764734
7437 | g two | 635016,,473736
7440 | cond | 203075,,767310
7441 | ition | 647515,,167734
7442 | s hol | 715015,,67730
7443 | ds:<15><12> | 623467,,206424
7444 | <15><12><11>1. | 64241,,130534
7445 | ) Ev | 245004,,42754
7446 | ery d | 627457,,120310
7447 | istin | 647476,,464734
7450 | guish | 637535,,171720
7451 | ed li | 627104,,66322
7452 | teral | 723136,,260730
7453 | in T | 203235,,620250
7454 | 2 has | 311015,,60746
7455 | the | 203515,,62500
7456 | same | 717035,,562500
7457 | index | 647354,,462760
7460 | unde | 203535,,662312
7461 | r f.<15> | 711014,,627032
7462 | <12><11> | 50224,,20100
7463 | In | 201011,,167100
7464 | this | 723215,,171500
7465 | case | 617036,,362500
7466 | we sa | 737124,,71702
7467 | y f i | 745014,,620322
7470 | s of | 715015,,763100
7471 | πunif | 37535,,664714
7472 | orm π | 677455,,520016
7473 | index | 647354,,462760
7474 | and | 203035,,662100
7475 | we ca | 737124,,61702
7476 | ll th | 663304,,72320
LOC | ASCII | OCTAL HALFWORD
7477 | is<15><12><11> | 647461,,505022
7500 | | 201004,,20100
7501 | index | 647354,,462760
7502 | the | 203515,,62500
7503 | πdist | 37115,,171750
7504 | ingui | 647354,,772722
7505 | shed | 717214,,562100
7506 | πlite | 37315,,172312
7507 | ral π | 713035,,420016
7510 | index | 647354,,462760
7511 | of f | 203374,,620314
7512 | .<15><12><15><12> | 270321,,206424
7513 | | 0,,0
7577 | | 0,,0
7600 | <14><11>2.) | 60226,,227122
7601 | For | 201010,,667744
7602 | ever | 203136,,662744
7603 | y ind | 745015,,167310
7604 | ex i | 627604,,64500
7605 | such | 717534,,364100
7606 | that | 723214,,172100
7607 | some | 717375,,562500
7610 | disti | 623236,,372322
7611 | nguis | 673176,,564746
7612 | hed l | 643134,,420330
7613 | itera | 647514,,571302
7614 | l in | 661015,,167100
7615 | T2<15><12><11> | 521441,,505022
7616 | | 201004,,20100
7617 | has i | 643036,,320322
7620 | ndex | 673114,,574100
7621 | i und | 645016,,567310
7622 | er f, | 627444,,63130
7623 | the | 201016,,464312
7624 | re is | 713124,,64746
7625 | some | 203475,,766712
7626 | dist | 203115,,171750
7627 | ingui | 647354,,772722
7630 | shed | 717214,,562100
7631 | liter | 663236,,462744
7632 | al<15><12><11> | 607301,,505022
7633 | | 201004,,20100
7634 | L of | 461015,,763100
7635 | T2 of | 521444,,67714
7636 | inde | 203235,,662312
7637 | x i s | 741015,,120346
7640 | uch t | 727075,,20350
7641 | hat n | 643036,,420334
7642 | o mat | 675015,,560750
LOC | ASCII | OCTAL HALFWORD
7643 | e of | 625015,,763100
7644 | L has | 461015,,60746
7645 | inde | 203235,,662312
7646 | x i.<15> | 741015,,127032
7647 | <12><15><12><11>P | 50321,,204640
7650 | roof: | 713375,,763164
7651 | Not | 201011,,667750
7652 | e th | 625004,,72320
7653 | at a | 607504,,20302
7654 | ll t | 663304,,20350
7655 | he | 643124,,20100
7656 | disti | 623236,,372322
7657 | nguis | 673176,,564746
7660 | hed | 643134,,420100
7661 | liter | 663236,,462744
7662 | als | 607316,,320100
7663 | in a | 647344,,20302
7664 | <15><12>dis | 64254,,464746
7665 | tingu | 723235,,663752
7666 | ished | 647475,,62710
7667 | clau | 203075,,460752
7670 | se o | 717124,,20336
7671 | f T2 | 631012,,431100
7672 | will | 737235,,466100
7673 | have | 643036,,662500
7674 | the s | 723214,,520346
7675 | ame | 607334,,520100
7676 | index | 647354,,462760
7677 | unde | 203535,,662312
7700 | r f. | 711014,,627100
7701 | Henc | 202214,,567306
7702 | e<15><12>if | 624321,,264714
7703 | con | 201014,,367734
7704 | ditio | 623236,,464736
7705 | n 2 | 671004,,31100
7706 | is | 203236,,320100
7707 | false | 633035,,471712
7710 | for | 201014,,667744
7711 | som | 201016,,367732
7712 | e in | 625004,,64734
7713 | dex | 623137,,20100
7714 | j, t | 651304,,20350
7715 | hen | 643135,,620100
7716 | the | 723214,,520100
7717 | set | 717136,,420100
7720 | of<15><12>d | 677141,,505310
7721 | istin | 647476,,464734
7722 | guish | 637535,,171720
7723 | ed li | 627104,,66322
7724 | teral | 723136,,260730
LOC | ASCII | OCTAL HALFWORD
7725 | s of | 715015,,763100
7726 | T2 of | 521444,,67714
7727 | inde | 203235,,662312
7730 | x j | 741004,,65100
7731 | is cl | 647464,,61730
7732 | osed, | 677474,,562130
7733 | henc | 203214,,567306
7734 | e con | 625014,,367734
7735 | ditio | 623236,,464736
7736 | n 1<15><12> | 671006,,106424
7737 | is t | 647464,,20350
7740 | rue. | 713534,,527100
7741 | Lat | 201011,,460750
7742 | er we | 627444,,73712
7743 | will | 203575,,166330
7744 | dis | 201014,,464746
7745 | cuss | 617536,,371500
7746 | the | 723214,,520100
7747 | quest | 707534,,571750
7750 | ion o | 647375,,620336
7751 | f th | 631004,,72320
7752 | e exi | 625014,,574322
7753 | stenc | 717514,,567306
7754 | e of<15> | 625015,,763032
7755 | <12>homo | 53215,,766736
7756 | morph | 667376,,270320
7757 | isms | 647475,,571500
7760 | of va | 677144,,73302
7761 | rious | 713235,,772746
7762 | dist | 203115,,171750
7763 | ingui | 647354,,772722
7764 | shed | 717214,,562100
7765 | liter | 663236,,462744
7766 | al in | 607304,,64734
7767 | dices | 623234,,362746
7770 | . <15><12><15> | 271001,,505032
7771 | <12><11>Now | 50231,,667756
7772 | we | 201016,,762500
7773 | discu | 623236,,361752
7774 | ss a | 717464,,20302
7775 | rel | 201016,,262730
7776 | ation | 607515,,167734
7777 | ship | 717215,,170100
10000 | betw | 203054,,572356
10000 | betw | 203054,,572356